APA (7th ed.) Citation

Ohtani, T., Sawamura, H., & Minami, T. (1993). Implementing Constructive Type Theory on EUODHILOS. Inst. for Social Information Science.

Chicago Style (17th ed.) Citation

Ohtani, Takeshi, Hajime Sawamura, and Toshiro Minami. Implementing Constructive Type Theory on EUODHILOS. Numazu [u.a.]: Inst. for Social Information Science, 1993.

MLA (9th ed.) Citation

Ohtani, Takeshi, et al. Implementing Constructive Type Theory on EUODHILOS. Inst. for Social Information Science, 1993.