Resolution-Based Methods for Modal Logics (0)

by H De Nivelle, R A Schmidt, U Hustadt
Venue:Logic Journal of the IGPL