Germán Puebla, Manuel V. Hermenegildo. Optimized Algorithms for Incremental Analysis of Logic Programs. In Radhia Cousot, David A. Schmidt, editors, Static Analysis, Third International Symposium, SAS 96, Aachen, Germany, September 24-26, 1996, Proceedings. Volume 1145 of Lecture Notes in Computer Science, pages 270-284, Springer, 1996.
Abstract is missing.