Main menu
You are here
An Abstract Interpretation Framework for Semantics and Diagnosis of Logic Programs
, “An Abstract Interpretation Framework for Semantics and Diagnosis of Logic Programs”, Dipartimento di Informatica, Universitá di Pisa, Pisa, Italy, 1998.