, ,
Springer
Lecture Notes in Computer Science
International Conference on Algebraic and Logic Programming

Marchiori, E. (1994). A logic for variable aliasing in logic programs. In Algebraic and Logic Programming (pp. 287–304). Springer.