S. K. Winker

	1982
2		S. K. Winker, Larry Wos: Procedure Implementation Through Demodulation and Related Tricks. CADE 1982: 109-131
	1981
1		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]