PP-2002-16: Carlos Areces, Hans de Nivelle, Maarten de Rijke Resolution in Modal, Description and Hybrid Logic 1.Full Text, 2.Abstract. < Back
