Yozo Toda

	1995
2		Mitsuharu Yamamoto, Shin-ya Nishizaki, Masami Hagiya, Yozo Toda: Formalization of Planar Graphs. TPHOLs 1995: 369-384
	1994
1		Masami Hagiya, Yozo Toda: On Implicit Arguments. Logic, Language and Computation 1994: 10-30

Coauthor Index

1	Masami Hagiya	[1] [2]
2	Shin-ya Nishizaki	[2]
3	Mitsuharu Yamamoto	[2]