René Thiemann, Guillaume Allais, Julian Nagele. On the Formalization of Termination Techniques based on Multiset Orderings. In Ashish Tiwari, editor, 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan. Volume 15 of LIPIcs, pages 339-354, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012. [doi]
@inproceedings{ThiemannAN12, title = {On the Formalization of Termination Techniques based on Multiset Orderings}, author = {René Thiemann and Guillaume Allais and Julian Nagele}, year = {2012}, doi = {10.4230/LIPIcs.RTA.2012.339}, url = {http://dx.doi.org/10.4230/LIPIcs.RTA.2012.339}, researchr = {https://researchr.org/publication/ThiemannAN12}, cites = {0}, citedby = {0}, pages = {339-354}, booktitle = {23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan}, editor = {Ashish Tiwari}, volume = {15}, series = {LIPIcs}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, isbn = {978-3-939897-38-5}, }