Automated theorem proving in non-classical logics - Thistlewaite, Paul B. (Pitman <<[u.a.]>>, 1988)