On Propositional Program Equivalence (Extended Abstract).

Tobias Kapp

Browse the full WoLLIC paper archive.