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