Fujita, H., & Hasegawa, R. (1990). A model generation theorem prover in KL1 using a ramified-stack algorithm.
Chicago-Zitierstil (17. Ausg.)Fujita, Hiroshi, und Ryuzo Hasegawa. A Model Generation Theorem Prover in KL1 Using a Ramified-stack Algorithm. Tokyo, Japan, 1990.
MLA-Zitierstil (9. Ausg.)Fujita, Hiroshi, und Ryuzo Hasegawa. A Model Generation Theorem Prover in KL1 Using a Ramified-stack Algorithm. 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.