AUTOMATED THEOREM-PROVING IN NON-CLASSICAL LOGICS - Thistlewaite, Paul B.; Meyer, Robert K. (London Pitman, 1988)
Bibliography : P. 135-142
Includes Index
Keywords: Automatic Theorem Proving; Non-Classical -- Mathematical Logic