Jörg H. Siekmann Graham Wrightson Paramodulated Connection Graphs. 67-86 1980 13 Acta Inf. db/journals/acta/acta13.html#SieckmannW80