Xisabelle: A system description (1997)

by Maris A Ozols, Katherine A Eastaughoee, Antony Cant
Venue:In Automated Deduction (CADE-14