Towards a Connection Procedure with Built in Theories.

Uwe Petermann Towards a Connection Procedure with Built in Theories. 444-543 1990 conf/jelia/1990 JELIA db/conf/jelia/jelia90.html#Petermann90 http://dx.doi.org/10.1007/BFb0018458