Twee: an equational theorem prover
scientific article; zbMATH DE number 7437103