APA-Zitierstil (7. Ausg.)

Inoue, K., & Helft, N. (1990). On theorem provers for circumscription.

Chicago-Zitierstil (17. Ausg.)

Inoue, Katsumi, und Nicolas Helft. On Theorem Provers for Circumscription. Tokyo, Japan, 1990.

MLA-Zitierstil (9. Ausg.)

Inoue, Katsumi, und Nicolas Helft. On Theorem Provers for Circumscription. 1990.