Relational chase procedures interpreted as resolution with paramodulation - Biskup, Joachim; Convent, Bernhard (Hildesheimer Informatik-Berichte, 1990)