Fernando Guzmán The implications in conditional logic. 139-159 1988 conf/aluacs/1988 Algebraic Logic and Universal Algebra in Computer Science db/conf/aluacs/aluacs1988.html#Guzman88 http://dx.doi.org/10.1007/BFb0043082