Declarative Source Debugging

Miguel Calejo, Luís Moniz Pereira. Declarative Source Debugging. In Pedro Barahona, Luís Moniz Pereira, António Porto, editors, EPIA 91, 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991, Proceedings. Volume 541 of Lecture Notes in Computer Science, pages 237-249, Springer, 1991.

Abstract

Abstract is missing.