%0 Journal Article %1 journals/tplp/AlpuenteEL07 %A Alpuente, María %A Escobar, Santiago %A Lucas, Salvador %D 2007 %J Theory Pract. Log. Program. %K dblp %N 1-2 %P 3-35 %T Removing redundant arguments automatically. %U http://dblp.uni-trier.de/db/journals/tplp/tplp7.html#AlpuenteEL07 %V 7

@article{journals/tplp/AlpuenteEL07, added-at = {2020-11-10T00:00:00.000+0100}, author = {Alpuente, María and Escobar, Santiago and Lucas, Salvador}, biburl = {https://www.bibsonomy.org/bibtex/2f695f9263b48b6f7fc048691548d63e8/dblp}, ee = {https://www.wikidata.org/entity/Q57978219}, interhash = {738f4639bc066582257db97e1dc35519}, intrahash = {f695f9263b48b6f7fc048691548d63e8}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {1-2}, pages = {3-35}, timestamp = {2020-11-11T11:35:21.000+0100}, title = {Removing redundant arguments automatically.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp7.html#AlpuenteEL07}, volume = 7, year = 2007 }