@InProceedings{BofillBRR12wst,

  author = 	 {Bofill, Miquel and Borralleras, Cristina and Rodríguez-Carbonell, Enric and Rubio, Albert}, 
title =          {The recursive path and polynomial ordering},
  booktitle = 	 {12th International Workshop on Termination (WST 2012),
                  Obergurgl, Austria, February 19-23, 2012},
  pages =        {29-33},
  month =        feb,
  year =	 {2012},
  editor =	 {Georg Moser},
  ONLINEPROCEEDINGS = {http://cl-informatik.uibk.ac.at/wst2012/wst2012.pdf},
  NOTE = {Published online and open access by G. Moser, Institute of Computer Science, University of Innsbruck, Austria},
}