APA (7th ed.) Citation

Hasegawa, R., Fujita, H., & Fujita, M. (1990). A parallel theorem prover in KL1 and its application to program synthesis.

Chicago Style (17th ed.) Citation

Hasegawa, Ryuzo, Hiroshi Fujita, and Masayuki Fujita. A Parallel Theorem Prover in KL1 and Its Application to Program Synthesis. Tokyo, Japan, 1990.

MLA (9th ed.) Citation

Hasegawa, Ryuzo, et al. A Parallel Theorem Prover in KL1 and Its Application to Program Synthesis. 1990.