LBI Cut Elimination Proof with BI-MultiCut.

Ryuta Arisaka, Shengchao Qin

Browse the full TASE paper archive.