Fibring of hypersequent calculi and preservation of rule-elimination
(Marcelo E. Coniglio, Martín Figallo)

Published: 2017-09-26