@Article{Schulz:AICOM-2002,
  author =       {S. Schulz},
  title =        {{E -- A Brainiac Theorem Prover}},
  journal =      {Journal of AI Communications},
  year =         {2002},
  OPTkey =       {},
  volume =       {15},
  number =       {2/3},
  pages =        {111--126},
  OPTmonth =     {},
  note =         {},
  annote =       {StS},
}