Jan A. Bergstra, Alban Ponse. Evaluation Trees for Proposition Algebra - The Case for Free and Repetition-Proof Valuation Congruence. In Roland Meyer, André Platzer, Heike Wehrheim, editors, Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings. Volume 9360 of Lecture Notes in Computer Science, pages 44-61, Springer, 2015. [doi]
Abstract is missing.