Hasegawa, R., Fujita, H., & Fujita, M. (1990). A parallel theorem prover in KL1 and its application to program synthesis.
Chicago-Zitierstil (17. Ausg.)Hasegawa, Ryuzo, Hiroshi Fujita, und Masayuki Fujita. A Parallel Theorem Prover in KL1 and Its Application to Program Synthesis. Tokyo, Japan, 1990.
MLA-Zitierstil (9. Ausg.)Hasegawa, Ryuzo, et al. A Parallel Theorem Prover in KL1 and Its Application to Program Synthesis. 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.