@InProceedings{Schulz:LPAR-2013,
  author =       {Stephan Schulz},
  title =        {{System Description: E~1.8}},
  OPTcrossref =  {},
  OPTkey =       {},
  booktitle =    {Proc.\ of the 19th LPAR, Stellenbosch},
  OPTpages =     {735-743},
  year =         {2013},
  editor =       {Ken McMillan and Aart Middeldorp and Andrei Voronkov},
  volume =       {8312},
  OPTnumber =    {},
  series =       {LNCS},
  OPTaddress =   {},
  OPTmonth =     {},
  OPTorganization = {},
  publisher =    {Springer},
  OPTnote =      {},
  annote =       {StS}
}