A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract).

Zoran Ognjanovic, Dragan Urosevic, Tatjana Petrovic, Zorana Ristovic

Browse the full TABLEAUX paper archive.