DMCA

First-order resolution methods for modal logics (2006)

by R. A. Schmidt , U. Hustadt
Venue:In Volume in Memoriam of Harald Ganzinger, LNCS
Citations:7 - 4 self