%0 Conference Paper %1 conf/pepm/Vidal07 %A Vidal, Germán %B PEPM %D 2007 %E Ramalingam, G. %E Visser, Eelco %I ACM %K dblp %P 51-60 %T Quasi-terminating logic programs for ensuring the termination of partial evaluation. %U http://dblp.uni-trier.de/db/conf/pepm/pepm2007.html#Vidal07 %@ 978-1-59593-620-2

@inproceedings{conf/pepm/Vidal07, added-at = {2019-09-25T00:00:00.000+0200}, author = {Vidal, Germán}, biburl = {https://www.bibsonomy.org/bibtex/2b4cdfcc578781d191d93eb2ae08a9953/dblp}, booktitle = {PEPM}, crossref = {conf/pepm/2007}, editor = {Ramalingam, G. and Visser, Eelco}, ee = {https://doi.org/10.1145/1244381.1244390}, interhash = {4ecf6fff45caeb9364e3b50a602c7c07}, intrahash = {b4cdfcc578781d191d93eb2ae08a9953}, isbn = {978-1-59593-620-2}, keywords = {dblp}, pages = {51-60}, publisher = {ACM}, timestamp = {2019-09-26T14:15:37.000+0200}, title = {Quasi-terminating logic programs for ensuring the termination of partial evaluation.}, url = {http://dblp.uni-trier.de/db/conf/pepm/pepm2007.html#Vidal07}, year = 2007 }