First-order resolution methods for modal logics (2013)

by R A Schmidt, U Hustadt
Venue:Programming Logics – Essays in Memory of Harald Ganzinger, volume 7797 of LNCS