Marco Comini

Bibliography

Comini, Marco, Levi, Giorgio and Vitiello, Giuliana. 1994. “Abstract Debugging of Logic Program.” in Logic Programming Synthesis and Transformation, Meta-Programming in Logic: Fourth International Workshops, LOBSTR’94 andMETA’94, Pisa, Italy, edited by Laurent Fribourg and Franco Turini, pp. 440–450. Berlin: Springer.