Coq formalization of the higher-order recursive path ordering
scientific article; zbMATH DE number 5659684
scientific article