Manuel V. Hermenegildo Germán Puebla Francisco Bueno Pedro López-García Program Debugging and Validation Using Semantic Approximations and Partial Specifications. 69-72 2002 conf/icalp/2002 ICALP http://link.springer.de/link/service/series/0558/bibs/2380/23800069.htm db/conf/icalp/icalp2002.html#HermenegildoPBL02