A Declarative Debugging Environment for DATALOG.

Francesco Russo, Mirko Sancassani

Browse the full LPAR paper archive.