E 2.4 User Manual

EasyChair Preprint no. 2272, version history

VersionDatePagesVersion notes
1December 29, 201961
2January 1, 202061

Added newer reference as requested by AV ;-).

Keyphrases: automated reasoning, automated theorem proving, equational theorem proving, first-order logic

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@Booklet{EasyChair:2272,
  author = {Stephan Schulz},
  title = {E 2.4 User Manual},
  howpublished = {EasyChair Preprint no. 2272},

  year = {EasyChair, 2020}}