Automated Deduction in Nonclassical Logics (1990)

by Lincoln A Wallen