Luis Fariñas del Cerro Olivier Gasquet Andreas Herzig Mohamad Sahade Modal Tableaux: Completeness vs. Termination. 587-614 2005 conf/birthday/2005gabbay1 We Will Show Them! (1) db/conf/birthday/Gabbay1.html#CerroGHS05