Specification and proof in membership equational logic
scientific article; zbMATH DE number 1454398
scientific article