CJE で紹介した論文に関して。Nivre アルゴリズムで Stack を増やすことは、並列構造を解析するため（そこでどうしても交差が起きる）として私も考えたけれど、 Stack を増やすことで 2-planar graph のクラスが解析できると汎化している点がすばらしいと思う。ただ、non-projective を 2-planar graph に落とす際に、一意に決まらないのだが、どのように決めるかの議論が弱いと思う。大体、その点でまた soundness/completeness の議論をやりなおさないといけないんじゃないのかな。
