@misc{indiciae6ac990fc3db4,
  title = {Understanding Counterexamples for Relational Properties with DIbugger},
  author = {Mihai Herda and Michael Kirsten and Etienne Brunner and Joana Plewnia and Ulla Scheler and Chiara Staudenmaier and Benedikt Wagner and Pascal Zwick and Bernhard Beckert},
  year = {2019},
  doi = {10.4204/eptcs.296.4},
  url = {https://arxiv.org/abs/1907.03996},
  note = {Source identifier: 1907.03996}
}