@Inproceedings{EPTCS296.4,
  author    = {Herda, Mihai and Kirsten, Michael and Brunner, Etienne and Plewnia, Joana and Scheler, Ulla and Staudenmaier, Chiara and Wagner, Benedikt and Zwick, Pascal and Beckert, Bernhard},
  year      = {2019},
  title     = {Understanding Counterexamples for Relational Properties with DIbugger},
  editor    = {De Angelis, Emanuele and Fedyukovich, Grigory and Tzevelekos, Nikos and Ulbrich, Mattias},
  booktitle = {{\rm Proceedings of the Sixth Workshop on}
               Horn Clauses for Verification and Synthesis {\rm and Third Workshop on} Program Equivalence and Relational Reasoning,
               {\rm Prague, Czech Republic, 6-7th April 2019}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {296},
  publisher = {Open Publishing Association},
  pages     = {6-13},
  doi       = {10.4204/EPTCS.296.4},
}