APA-Zitierstil (7. Ausg.)

Hasegawa, R., Koshimura, M., & Fujita, H. (1992). Lazy model generation for implementing efficient theorem provers.

Chicago-Zitierstil (17. Ausg.)

Hasegawa, Ryuzo, Miyuki Koshimura, und Hiroshi Fujita. Lazy Model Generation for Implementing Efficient Theorem Provers. Tokyo, Japan, 1992.

MLA-Zitierstil (9. Ausg.)

Hasegawa, Ryuzo, et al. Lazy Model Generation for Implementing Efficient Theorem Provers. 1992.