A Logic for Variable Aliasing in Logic Programs

Elena Marchiori. A Logic for Variable Aliasing in Logic Programs. In Giorgio Levi, Mario Rodríguez-Artalejo, editors, Algebraic and Logic Programming, 4th International Conference, ALP 94, Madid, Spain, September 14-16, 1994, Proceedings. Volume 850 of Lecture Notes in Computer Science, pages 287-304, Springer, 1994.

Abstract

Abstract is missing.