Proof Support for Common Logic.

Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, Michael Grninger

Browse the full CADE paper archive.