| |
| 1982 | ||
|---|---|---|
| 2 | 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 |
| 1 | Ewing L. Lusk | [1] |
| 2 | Larry Wos | [1] [2] |