Uwe Petermann A Complete Connection Calculus with Rigid E-Unification. 152-166 1994 conf/jelia/1994 JELIA db/conf/jelia/jelia94.html#Petermann94 http://dx.doi.org/10.1007/BFb0021970