Tractable transformations from modal provability logics into rst-order logic (1999)

by S Demri, R Gore
Venue:In Automated Deduction|CADE-16. LNAI