S. K. Winker Vis

*	1982
2	EE	S. K. Winker, Larry Wos: Procedure Implementation Through Demodulation and Related Tricks. CADE 1982: 109-131
	1981
1	EE	Larry Wos, S. K. Winker, Ewing L. Lusk: An automated reasoning system. AFIPS National Computer Conference 1981: 697-702

Coauthor Index

1	Ewing L. Lusk	[1]
2	Larry Wos	[1] [2]