Automated theorem-proving in non-classical logics - Thistlewaite, Paul B.; McRobbie, Michael A.; Meyer, Robert K. (Research notes in theoretical computer science., 1988)