Myra Van Inwegen Vis

*	1993
2	EE	Myra Van Inwegen, Elsa L. Gunter: HOL-ML. HUG 1993: 61-74
	1992
1	EE	Jawahar Chirimar, Carl A. Gunter, Myra Van Inwegen: Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker. CADE 1992: 711-715

Coauthor Index

1	Jawahar Chirimar	[1]
2	Carl A. Gunter	[1]
3	Elsa L. Gunter	[2]