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