"From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction."

Agata Ciabattoni et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics