Completeness results for the equivalence of recursive schemas
scientific article; zbMATH DE number 3534047
scientific article