Automated Deduction in Nonclassical Logics (1989)

by Lincoln A Wallen