Understanding Counterexamples for Relational Properties with DIbugger. - Mihai Herda; Michael Kirsten; Etienne Brunner; Joana Plewnia; Ulla Scheler; Chiara Staudenmaier; Benedikt Wagner; Pascal Zwick; Bernhard Beckert (HCVS/PERR@ETAPS, 2019)