Paramodulated Connection Graphs

Jörg H. Siekmann, Graham Wrightson. Paramodulated Connection Graphs. Acta Informatica, 13:67-86, 1980.

Abstract

Abstract is missing.