Some Variations on Alan Day's Algorithm for Calculating Canonical Basis of Implications.

Vincent Duquenne Some Variations on Alan Day's Algorithm for Calculating Canonical Basis of Implications. 2007 CLA http://ceur-ws.org/Vol-331/Duquenne1.pdf conf/cla/2007 db/conf/cla/cla2007.html#Duquenne07