Lincoln A. Wallen

• Automated Deduction in Nonclassical Logics
• Automated proof search in non-classicallogics