Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla. On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. In AADEBUG. pages 155-169, 1997. [doi]
Abstract is missing.