BDD-based automated reasoning in propositional non-classical logics: progress report.

Rajeev Gor, Jimmy Thomson

Browse the full CADE paper archive.