Sequent Calculi for Choice Logics.

Michael Bernreiter, Anela Lolic, Jan Maly, Stefan Woltran

Browse the full CADE paper archive.