APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

Warning: These citations may not always be 100% accurate.