System description: E 0.81 (2004)

by Stephan Schulz
Venue:Automated Reasoning — Second International Joint Conference, IJCAR 2004, LNAI 3097