| |
| 1989 | ||
|---|---|---|
| 4 | N. Alan Josephson, Nachum Dershowitz: An Implementation of Narrowing. J. Log. Program. 6(1&2): 57-77 (1989) | |
| 1986 | ||
| 3 | N. Alan Josephson, Nachum Dershowitz: An Implementation of Narrowing: The RITE Way. SLP 1986: 187-197 | |
| 1984 | ||
| 2 | Nachum Dershowitz, N. Alan Josephson: Logic Programming by Completion. ICLP 1984: 313-320 | |
| 1983 | ||
| 1 | Nachum Dershowitz, Jieh Hsiang, N. Alan Josephson, David A. Plaisted: Associative-Commutative Rewriting. IJCAI 1983: 940-944 | |
| 1 | Nachum Dershowitz | [1] [2] [3] [4] |
| 2 | Jieh Hsiang | [1] |
| 3 | David A. Plaisted | [1] |