APA-Zitierstil (7. Ausg.)

Hasegawa, R., Koshimura, M., & Fujita, H. (1992). MGTP, a parallel theorem prover based on lazy model generation.

Chicago-Zitierstil (17. Ausg.)

Hasegawa, Ryuzo, Miyuki Koshimura, und Hiroshi Fujita. MGTP, a Parallel Theorem Prover Based on Lazy Model Generation. Tokyo, Japan, 1992.

MLA-Zitierstil (9. Ausg.)

Hasegawa, Ryuzo, et al. MGTP, a Parallel Theorem Prover Based on Lazy Model Generation. 1992.