M. Comini, Levi, G., and Vitiello, G.,
“Abstract Debugging of Logic Programs”,
Proc. Logic Program Synthesis and Transformation and Metaprogramming in Logic 1994, vol. 883. Springer-Verlag, pp. 440–450, 1994.
M. Comini and Levi, G.,
“An Algebraic Theory of Observables”,
Proceedings of the 1994 Int'l Symposium on Logic Programming. The MIT Press, pp. 172–186, 1994.