A Classical Propositional Logic for Reasoning About Reversible Logic Circuits.

Holger Bock Axelsen, Robert Glck, Robin Kaarsgaard

Browse the full WoLLIC paper archive.