Manuel V. Hermenegildo Francisco Bueno Germán Puebla Pedro López-García Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. 52-66 1999 ICLP db/conf/iclp/iclp99.html#HermenegildoBPL99