J. Jaffar, J. L. Lassez, and M. J. Maher, “Theory of complete logic programs with equality,” Journal of Logic Programming, Vol. 1, No. 3, pp. 211–23, October 1984.
has been cited by the following article:
TITLE: Incremental Computation of Success Patterns of Logic Programs
AUTHORS: Lunjin Lu
KEYWORDS: Incremental Analysis, Success Patterns, Abstract Interpretation, Depth Abstract, Stump Abstraction, Logic Programs
JOURNAL NAME: Journal of Software Engineering and Applications, Vol.3 No.3, April 8, 2010
ABSTRACT: A method is presented for incrementally computing success patterns of logic programs. The set of success patterns of a logic program with respect to an abstraction is formulated as the success set of an equational logic program modulo an equality theory that is induced by the abstraction. The method is exemplified via depth and stump abstractions. Also presented are algorithms for computing most general unifiers modulo equality theories induced by depth and stump abstractions.