APA-Zitierstil (7. Ausg.)

Apt, K. R., & Pedreschi, D. (1991). Reasoning about termination of Prolog programs.

Chicago-Zitierstil (17. Ausg.)

Apt, Krzysztof R., und Dino Pedreschi. Reasoning About Termination of Prolog Programs. Pisa, 1991.

MLA-Zitierstil (9. Ausg.)

Apt, Krzysztof R., und Dino Pedreschi. Reasoning About Termination of Prolog Programs. 1991.

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