Joachim Biskup Relationship chase procedures interpreted as resolution with paramodulation. 123-138 1991 15 Fundam. Inform. 2 db/journals/fuin/fuin15.html#Biskup91