Richard B. Scherl Equality and Constrained Resolution. 167-181 1994 conf/jelia/1994 JELIA db/conf/jelia/jelia94.html#Scherl94 http://dx.doi.org/10.1007/BFb0021971