Resolution in modal, description and hybrid logic - Areces, Carlos (ILLC research report and technical notes series, 2002)