Sequents vs Hypersequents for qvist Systems.

Agata Ciabattoni, Matteo Tesi

Browse the full IJCAR paper archive.