Automated theorem-proving in non-classical logics - Thistlewaite, Paul B.; McRobbie, Michael A.; Meyer, Robert K. (Pitman u.a., 1988)