Machi Maeji

	1986
1		Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji: ARGOS/V: A System for Verification of Prolog Programs. FJCC 1986: 994-998

Coauthor Index

1	Hiroshi Fujita	[1]
2	Kenji Horiuchi	[1]
3	Tadashi Kanamori	[1]
4	Hirohisa Seki	[1]