System description: E 0.81 (2004)

by Stephan Schulz
Venue:In David Basin and Michaël Rusinowitch, editors, Automated Reasoning—Second International Joint Conference, IJCAR 2004, LNAI 3097