A Declarative Debugging Environment for DATALOG

Francesco Russo, Mirko Sancassani. A Declarative Debugging Environment for DATALOG. In Andrei Voronkov, editor, Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings. Volume 592 of Lecture Notes in Computer Science, pages 433-441, Springer, 1991.

Abstract

Abstract is missing.