APA (7th ed.) Citation

Helft, N., & Inoue, K. (1989). A note on proof procedures for nonmonotonic reasoning systems.

Chicago Style (17th ed.) Citation

Helft, Nicolas, and Katsumi Inoue. A Note on Proof Procedures for Nonmonotonic Reasoning Systems. Tokyo, Japan, 1989.

MLA (9th ed.) Citation

Helft, Nicolas, and Katsumi Inoue. A Note on Proof Procedures for Nonmonotonic Reasoning Systems. 1989.