New OOPSLA paper on stepping semantics for Datalog debugging accepted

Interactive Debugging of Datalog Programs
André Pacak and Sebastian Erdweg.
In Proceedings of the ACM on Programming Languages (OOPSLA). 2023.