Associative-Commutative Rewriting. - Nachum Dershowitz; Jieh Hsiang; N. Alan Josephson; David A. Plaisted (IJCAI, 1983)

Logic Programming by Completion. - Nachum Dershowitz; N. Alan Josephson (ICLP, 1984)

An Implementation of Narrowing: The RITE Way. - N. Alan Josephson; Nachum Dershowitz (SLP, 1986)

An Implementation of Narrowing. - N. Alan Josephson; Nachum Dershowitz (J. Log. Program., 1989)

Implementation techniques for rewriting and narrowing - Norman Alan Josephson (1989)