Proof theory of higher-order equations: Conservativity, normal forms and term rewriting.
scientific article; zbMATH DE number 1967161
scientific article