A formal framework for hypersequent calculi and their fibring

Marcelo Coniglio, Martín Figallo

pp. 73-93


This document is unfortunately not available for download at the moment.

Not implemented yet !