de Nivelle, H., Hustadt, U., & Schmidt, R. A. (2000). Resolution-Based Methods for Modal Logics. Logic Journal of the IGPL, 8(3), 265-292.