Bibtex:Luc07

BibTex

<bibtex> @inproceedings{Lucas07,

 author    = {Salvador Lucas},
 title     = {Practical use of polynomials over the reals in proofs of termination},
 booktitle = {9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'07},
 year      = {2007},
 pages     = {39-50},
 publisher = {ACM},

address = {Wroclaw, Poland},

 isbn      = {978-1-59593-769-8}

}

</bibtex>