A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae (2003)

by Renate A. Schmidt, Ullrich Hustadt
Venue:Automated Deduction—CADE-19, volume 2741 of Lecture Notes in Artificial Intelligence