Polynomial Path Orders

Martin Avanzini and Georg Moser
Logical Methods in Computer Science 9(4), pp. 1 – 42, 2013.

abstract   BibTeX   PDF   doi:10.2168/LMCS-9(4:9)2013  
Creative Commons License – NC – ND