Andrew D. Kelly, Kim Marriott, Harald Søndergaard, Peter J. Stuckey. Two Applications of an Incremental Analysis Engine for (Constraint) 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 385-386, Springer, 1996.
Abstract is missing.