APA (7th ed.) Citation

Hasegawa, R., Koshimura, M., & Fujita, H. (1992). Lazy model generation for improving the efficiency of forward reasoning theorem provers.

Chicago Style (17th ed.) Citation

Hasegawa, Ryuzo, Miyuki Koshimura, and Hiroshi Fujita. Lazy Model Generation for Improving the Efficiency of Forward Reasoning Theorem Provers. Tokyo, Japan, 1992.

MLA (9th ed.) Citation

Hasegawa, Ryuzo, et al. Lazy Model Generation for Improving the Efficiency of Forward Reasoning Theorem Provers. 1992.