On the restricted equivalence for subclasses of propositional logicA. Flögel, H. Kleine Büning and T. LettmannRAIRO-Theor. Inf. Appl., 27 4 (1993) 327-340DOI: https://doi.org/10.1051/ita/1993270403271
