Javier Álvez, Paqui Lucio. An Algorithm for Local Variable Elimination in Normal Logic Programs. In Patricia M. Hill, editor, Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers. Volume 3901 of Lecture Notes in Computer Science, pages 61-79, Springer, 2005. [doi]