Prefixed Resolution: A Resolution Method for Modal and Description Logics.

Carlos Areces, Hans de Nivelle, Maarten de Rijke

Browse the full CADE paper archive.