Dominic Binks. Declarative Debugging of Abstract Data Types in Gödel. In Peter Fritszon, editor, Automated and Algorithmic Debugging, First International Workshop, AADEBUG 93, Linköping, Sweden, May 3-5, 1993, Proceedings. Volume 749 of Lecture Notes in Computer Science, pages 188-205, Springer, 1993.
Abstract is missing.