Checking Conservativity with Hets.

Mihai Codescu, Till Mossakowski, Christian Maeder

Browse the full CALCO paper archive.