BibTeX Export
@article{Authenticus:P-000-3MR, title = {{Mechanically proving termination using polynomial interpretations}}, author = {E Contejean and C Marche and AP Tomas and X Urbain}, doi = {10.1007/s10817-005-9022-x}, journal = {Journal of Automated Reasoning}, number = {4}, pages = {325-363}, publisher = {Springer}, type = {Article}, volume = {34}, year = {2005} }