A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae.

Renate A. Schmidt, Ullrich Hustadt

Browse the full CADE paper archive.