E 2.4 User Manual

EasyChair Preprint 2272, version history

VersionDatePagesVersion 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, 2019}}