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