http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Automated proof search in non-classical logics
efficient matrix proof methods for modal and intuitionistic logics
Automated deduction in nonclassical logics
Spine title: Automated deduction in nonclassical logics.
MIT Press series in artificial intelligence