@InProceedings{SCV:CADE-2019,
  author =       {Stephan Schulz and Simon Cruanes and Petar Vukmirovi{\'c}},
  title =        {Faster, Higher, Stronger: {E} 2.3},
  year =         {2019},
  OPTcrossref =  {},
  OPTkey =       {},
  booktitle =    {Proc.\ of the 27th CADE, Natal, Brasil},
  editor =       {Pascal Fontaine},
  OPTvolume =    {},
  number =       {11716},
  series =       {LNAI},
  pages =        {495--507},
  OPTmonth =     {},
  OPTaddress =   {},
  OPTorganization = {},
  publisher =    {Springer},
  OPTannote =    {StS},
}