Andreas Flögel Hans Kleine Büning Theodor Lettmann On the Restricted Equivalence Subclasses of Propositional Logic. 327-340 1993 27 ITA 4 db/journals/ita/ita27.html#FlogelBL93