An Analytical Comparison of Some Rule-Learning Programs. - Alan Bundy; Bernard Silver; Dave Plummer (Artif. Intell., 1985)

Gazing : A technique for controlling the use of rewrite rules. - Dave Plummer (1987)

Coda: An Extended Debugger for PROLOG. - Dave Plummer (ICLP/SLP, 1988)