@InProceedings{KSUV:CADE-2015,
  author =       {Cezary Kaliszyk and Stephan Schulz and Josef
                  Urban and Ji\v{r}\'i Vysko\v{c}il},
  title =        {{System Description: E.T. 0.1}},
  booktitle =    {Proc.\ of the 25th CADE, Berlin},
  year =         {2015},
  editor =       {Amy P. Felty and Aart Middeldorp},
  volume =       {9195},
  OPTnumber =    {},
  series =       {LNAI},
  pages =        {389--398},
  OPTmonth =     {},
  OPTaddress =   {},
  OPTorganization = {},
  publisher =    {Springer},
  OPTnote =      {},
  annote =       {StS}
}