A resolution method for some systems of modal logic - Sommerhalder, Rudolf (Technická univerzita, 1992)