DMCA
Resolution-Based Methods for Modal Logics (2000)
by
Hans De Nivelle
,
Renate A. Schmidt
,
Ulrich Hustadt
Venue: | Logic J. IGPL |
Citations: | 54 - 23 self |