Rodler, P.; Hofer, B.; Jannach, D.; Nica, I.; Wotawa, F. Choosing Abstraction Levels for Model-Based Software Debugging: A Theoretical and Empirical Analysis for Spreadsheet Programs (Abstract Reprint). AAAI 2026, 40, 39890-39890.