Deep Inference
http://alessio.guglielmi.name/res/cos/index.html
メモ
K. Brünnler; "Nested Sequents"