Tutorial on Compilation techniques for Logics.

Hans Jrgen Ohlbach, Andreas Herzig

Browse the full CADE paper archive.