American Psychological Association 6th edition

PELOV, N., & TERNOVSKA, E. (2005, Januar 1). Reducing inductive definitions to propositional satisfiability. Gehalten auf der. New York, NY: Springer, 2005. Abgerufen von http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17246906

ISO-690 (author-date, English)

PELOV, Nikolay und TERNOVSKA, Eugenia, 2005. Reducing inductive definitions to propositional satisfiability. In: [online]. New York, NY: Springer, 2005. 1 Januar 2005. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17246906

Modern Language Association 9th edition

PELOV, N., und E. TERNOVSKA. Reducing inductive definitions to propositional satisfiability. New York, NY: Springer, 2005., 2005, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17246906.

Mohr Siebeck - Recht (Deutsch - Österreich)

Emerald - Harvard

PELOV, N. und TERNOVSKA, E. (2005), „Reducing inductive definitions to propositional satisfiability“, in , Bd. , New York, NY: Springer, 2005., verfügbar unter: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17246906.

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