Building in equational theories into the connection method.

Uwe Petermann Building in equational theories into the connection method. 156-169 1991 conf/fair/1991 FAIR db/conf/fair/fair1991.html#Petermann91