@Inproceedings{EPTCS191.5, author = {Eguchi, Naohi}, year = {2015}, title = {Formalizing Termination Proofs under Polynomial Quasi-interpretations}, editor = {Matthes, Ralph and Mio, Matteo}, booktitle = {{\rm Proceedings Tenth International Workshop on} Fixed Points in Computer Science, {\rm Berlin, Germany, September 11-12, 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {191}, publisher = {Open Publishing Association}, pages = {33-47}, doi = {10.4204/EPTCS.191.5}, }