Stephan Schulz: "System Abstract: E 0.81"

Abstract:

E is an equational theorem prover for clausal logic with equality.  We
describe the latest version, E 0.81 "Tumsong", with special emphasis
on the important aspects that have changed compared to previously
described versions.