Francesco Russo;Mirko Sancassani
-;-
A New Proposal for Debugging Datalog Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
A Theoretical Framework for the Declarative Debugging of Datalog Programs
Semantics in Data and Knowledge Bases