An Efficient and Unified Approach to the Decidability of Equivalence of Propositional Programs.

Vladimir A. Zakharov

Browse the full ICALP paper archive.