Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno. Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging. In Krzysztof R. Apt, Victor W. Marek, Mirek Truszczynski, David Scott Warren, editors, The Logic Programming Paradigm - A 25-Year Perspective. Artificial Intelligence, pages 161-192, Springer, 1999. [doi]
Abstract is missing.