APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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