| |
| * | 1989 | |
|---|---|---|
| 3 | Jonathan Traugott: Deductive Synthesis of Sorting Programs. J. Symb. Comput. 7(6): 533-572 (1989) | |
| 1986 | ||
| 2 | EE | Jonathan Traugott: Nested Resolution. CADE 1986: 394-402 |
| 1 | EE | Jonathan Traugott: Deductive Synthesis of Sorting Programs. CADE 1986: 641-660 |