APA-Zitierstil (7. Ausg.)

Minami, T., & Sawamura, H. (1989). EUODHILOS, a general approach to computer aided deductive reasoning.

Chicago-Zitierstil (17. Ausg.)

Minami, Toshiro, und Hajime Sawamura. EUODHILOS, a General Approach to Computer Aided Deductive Reasoning. Tokyo, Japan, 1989.

MLA-Zitierstil (9. Ausg.)

Minami, Toshiro, und Hajime Sawamura. EUODHILOS, a General Approach to Computer Aided Deductive Reasoning. 1989.