Prepublication (PP) Series

PP-1999-16:
Carlos Areces, Hans de Nivelle, Maarten de Rijke Prefixed Resolution: A Resolution Method for Modal and Description Logics
1.Full Text, 2.Abstract.