Diabelli: A Heterogeneous Proof System.

Matej Urbas, Mateja Jamnik

Browse the full CADE paper archive.