E – A Brainiac Theorem Prover, (2002)

by S Schulz
Venue:Journal of AI Communications