APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

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

MLA-Zitierstil (9. Ausg.)

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