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. < Back
