%0 Journal Article %1 journals/entcs/AlvezL05 %A Álvez, Javier %A Lucio, Paqui %D 2005 %J Electron. Notes Theor. Comput. Sci. %K dblp %N 1 %P 5-24 %T Elimination of Local Variables from Definite Logic Programs. %U http://dblp.uni-trier.de/db/journals/entcs/entcs137.html#AlvezL05 %V 137

@article{journals/entcs/AlvezL05, added-at = {2020-02-24T00:00:00.000+0100}, author = {Álvez, Javier and Lucio, Paqui}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/255ed80f6b02325eb4210be4ce15a848f/dblp}, ee = {https://doi.org/10.1016/j.entcs.2005.01.037}, interhash = {17595db723092ff8ceef9ff291912371}, intrahash = {55ed80f6b02325eb4210be4ce15a848f}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {5-24}, timestamp = {2020-04-20T13:09:09.000+0200}, title = {Elimination of Local Variables from Definite Logic Programs.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs137.html#AlvezL05}, volume = 137, year = 2005 }