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}
}