A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract). - Zoran Ognjanovic; Dragan Urosevic; Tatjana Petrovic; Zorana Ristovic (TABLEAUX, 1992)