Non-Classical Logics in Satisfiability Modulo Theories.

Clemens Eisenhofer, Ruba Alassaf, Michael Rawson, Laura Kovcs

Browse the full TABLEAUX paper archive.