SAT-Based Proof Search in Intermediate Propositional Logics.

Camillo Fiorentini, Mauro Ferrari

Browse the full CADE paper archive.