Resolution method for some class of formulas of modal logic S4 - Norgėla, Stanislovas (Lietuvos matematikos rinkinys, 2004)
There is not abstract.