Modular termination of prefix-constrained term rewrite systems
Origine : Fichiers produits par l'(les) auteur(s)