@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},
}