Added newer reference as requested by AV ;-).
Keyphrases: automated reasoning, automated theorem proving, equational theorem proving, first-order logic
@booklet{EasyChair:2272, author = {Stephan Schulz}, title = {E 2.4 User Manual}, howpublished = {EasyChair Preprint 2272}, year = {EasyChair, 2019}}