On Implicit Arguments. - Masami Hagiya; Yozo Toda (Logic, Language and Computation, 1994)

Formalization of Planar Graphs. - Mitsuharu Yamamoto; Shin-ya Nishizaki; Masami Hagiya; Yozo Toda (TPHOLs, 1995)