Proof certificates for equality reasoning
scientific article; zbMATH DE number 6862944
scientific article