APA-Zitierstil (7. Ausg.)

Seki, H., & Kanamori, T. (1985). Incorporating generalization heuristics into verification of Prolog programs.

Chicago-Zitierstil (17. Ausg.)

Seki, Hirohisa, und Tadashi Kanamori. Incorporating Generalization Heuristics into Verification of Prolog Programs. Tokyo, Japan, 1985.

MLA-Zitierstil (9. Ausg.)

Seki, Hirohisa, und Tadashi Kanamori. Incorporating Generalization Heuristics into Verification of Prolog Programs. 1985.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.