A class of confluent term rewriting systems and unification
scientific article; zbMATH DE number 4047061
scientific article