American Psychological Association 6th edition

STURM, T. (2005, Januar 1). Quantifier elimination for constraint logic programming. Gehalten auf der. Berlin: Springer, 2005. Abgerufen von http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17115588

ISO-690 (author-date, English)

STURM, Thomas, 2005. Quantifier elimination for constraint logic programming. In: [online]. Berlin: Springer, 2005. 1 Januar 2005. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17115588

Modern Language Association 9th edition

STURM, T. Quantifier elimination for constraint logic programming. Berlin: Springer, 2005., 2005, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17115588.

Mohr Siebeck - Recht (Deutsch - Österreich)

Emerald - Harvard

STURM, T. (2005), „Quantifier elimination for constraint logic programming“, in , Bd. , Berlin: Springer, 2005., verfügbar unter: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17115588.

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