Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification - Luís Cruz-Filipe; J. Rasga; A. Sernadas; C. Sernadas (2008)