APA (7th ed.) Citation

Inoue, K., Koshimura, M., & Hasegawa, R. (1991). Embedding negation as failure into a model generation theorem prover.

Chicago Style (17th ed.) Citation

Inoue, Katsumi, Miyuki Koshimura, and Ryuzo Hasegawa. Embedding Negation as Failure into a Model Generation Theorem Prover. Tokyo, Japan, 1991.

MLA (9th ed.) Citation

Inoue, Katsumi, et al. Embedding Negation as Failure into a Model Generation Theorem Prover. 1991.