SAT-Based Decision Procedure for Analytic Pure Sequent Calculi.

Ori Lahav, Yoni Zohar

Browse the full CADE paper archive.