Paramodulated Connection Graphs.

Norbert Eisinger, Jrg H. Siekmann, Graham Wrightson

Browse the full ECAI paper archive.