@InProceedings{Schulz:IJCAR-2004,
  author =       {S. Schulz},
  title =        {{System Description: E~0.81}},
  booktitle =    {Proc.\ of the 2nd IJCAR, Cork, Ireland},
  editor =       {D. Basin and M. Rusinowitch},
  volume =       {3097},
  series =       {LNAI},
  year =         {2004},
  publisher =    {Springer},
  pages =        {223--228},
}