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