Formal correctness of a quadratic unification algorithm
scientific article; zbMATH DE number 5149169
scientific article