Abstract Diagnosis

Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello. Abstract Diagnosis. Journal of Logic and Algebraic Programming, 39(1-3):43-93, 1999.

Possibly Related Publications

The following publications are possibly variants of this publication: