On the restricted equivalence for subclasses of propositional logic
Flögel, A., Kleine Büning, H., Lettmann, T.
Published in RAIRO. Informatique théorique et applications (1993)
Published in RAIRO. Informatique théorique et applications (1993)
Get full text
Journal Article