XIsabelle: A System Description.

Maris A. Ozols, Anthony Cant, Katherine A. Eastaughffe

Browse the full CADE paper archive.