American Psychological Association 6th edition

REVESZ, P. (2004, Januar 1). Quantifier-elimination for the first-order theory of Boolean algebras with linear cardinality constraints. Gehalten auf der. Berlin: Springer, 2004. Abgerufen von http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=16177699

ISO-690 (author-date, English)

REVESZ, Peter, 2004. Quantifier-elimination for the first-order theory of Boolean algebras with linear cardinality constraints. In: [online]. Berlin: Springer, 2004. 1 Januar 2004. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=16177699

Modern Language Association 9th edition

REVESZ, P. Quantifier-elimination for the first-order theory of Boolean algebras with linear cardinality constraints. Berlin: Springer, 2004., 2004, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=16177699.

Mohr Siebeck - Recht (Deutsch - Österreich)

Emerald - Harvard

REVESZ, P. (2004), „Quantifier-elimination for the first-order theory of Boolean algebras with linear cardinality constraints“, in , Bd. , Berlin: Springer, 2004., verfügbar unter: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=16177699.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.