R.: Resolution-Based Methods for Modal Logics (0)

by U Hustadt, H de Nivelle, Schmidt
Venue:Journal of the IGPL 8-3