https://5dok.net/document/yd7epd11-bidirectional-grammatical-encoding-using-synchronous-tree-adjoining-grammar.html