On the restricted equivalence for subclasses of propositional logic A. Flögel; H. Kleine Büning; T. Lettmann — 1993 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications