Jump to content

Bibtex:FNOGLS08

From Termination-Portal.org

BibTex

<bibtex> @inproceedings{FNOGLS08,

 author    = {C. Fuhs, R. Navarro-Marset, C. Otto, J. Giesl, S. Lucas and P. Schneider-Kamp},
 title     = {Search Techniques for Rational Polynomial Orders},
 booktitle = {AISC/MKM/Calculemus},
 year      = {2008},
 pages     = {109-124},
editor    = {S. Autexier, J. Campbell, J. Rubio, V. Sorge, M. Suzuki and F. Wiedijk},

address = {Birmingham, UK }, }



</bibtex>