@incollection{SeidlMKE16, author = {Helmut Seidl and Sebastian Maneth and Gregor Kemper and Joost Engelfriet}, title = {Equivalence - {C}ombinatorics, {A}lgebra, {P}roofs}, booktitle = {Dependable Software Systems Engineering}, editor = {Javier Esparza and Orna Grumberg and Salomon Sickert}, year = 2016, pages = {202--243}, series = {NATO Science for Peace and Security Series - D: Information and Communication Security}, volume = {45}, publisher = {IOS Press}, doi = {10.3233/978-1-61499-627-9-202}, }