An effective proof of the well-foundedness of the multiset path ordering.

Published in: Appl. Algebra Eng. Commun. Comput. (2006)

Keyphrases