E 2.4 User Manual

EasyChair Preprint 2272, version history

Version	Date	Pages	Version notes
1	December 29, 2019	61
2	January 1, 2020	61	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 2272},
  year      = {EasyChair, 2020}}