Abstract Debugging of Logic Program

Marco Comini, Giorgio Levi, Giuliana Vitiello. Abstract Debugging of Logic Program. In Laurent Fribourg, Franco Turini, editors, Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR 94 and META 94, Pisa, Italy, June 20-21, 1994, Proceedings. Volume 883 of Lecture Notes in Computer Science, pages 440-450, Springer, 1994.

Authors

Marco Comini

This author has not been identified. Look up 'Marco Comini' in Google

Giorgio Levi

This author has not been identified. Look up 'Giorgio Levi' in Google

Giuliana Vitiello

This author has not been identified. Look up 'Giuliana Vitiello' in Google