A formal framework for hypersequent calculi and their fibring

2015

Marcelo Coniglio, Martin Figallo

in: The road to universal logic I, Basel,