PP-2014-05: Nick Bezhanishvili, Silvio Ghilardi Multiple-conclusion Rules, Hypersequents Syntax and Step Frames 1.Full Text, 2.Abstract. < Back
