American Psychological Association 6th edition

MINTS, G. (2006, Januar 1). Unwinding a non-effective cut elimination proof. Gehalten auf der. Berlin: Springer, 2006. Abgerufen von http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=19150253

ISO-690 (author-date, English)

MINTS, Grigori, 2006. Unwinding a non-effective cut elimination proof. In: [online]. Berlin: Springer, 2006. 1 Januar 2006. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=19150253

Modern Language Association 9th edition

MINTS, G. Unwinding a non-effective cut elimination proof. Berlin: Springer, 2006., 2006, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=19150253.

Mohr Siebeck - Recht (Deutsch - Österreich)

Emerald - Harvard

MINTS, G. (2006), „Unwinding a non-effective cut elimination proof“, in , Bd. , Berlin: Springer, 2006., verfügbar unter: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=19150253.

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