Luís Cruz-FilipeJ. RasgaA. SernadasC. Sernadas2010-05-212014-11-142010-05-212014-11-1420082008http://hdl.handle.net/10451/14844http://repositorio.ul.pt/handle/10455/6425engComputer ScienceComplete Axiomatization of Discrete-Measure Almost-Everywhere Quantificationjournal article