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]
@inproceedings{AlvezL05:0,
title = {An Algorithm for Local Variable Elimination in Normal Logic Programs},
author = {Javier Álvez and Paqui Lucio},
year = {2005},
doi = {10.1007/11680093_5},
url = {http://dx.doi.org/10.1007/11680093_5},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/AlvezL05%3A0},
cites = {0},
citedby = {0},
pages = {61-79},
booktitle = {Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers},
editor = {Patricia M. Hill},
volume = {3901},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-32654-5},
}