Virgil Emil Cazanescu Local Equational Logic. 162-170 1993 conf/fct/1993 FCT db/conf/fct/fct93.html#Cazanescu93