Bidirectionalizing Tree Transformations

by Zhenjiang Hu , Kento Emoto , Shin-cheng Mu , Masato Takeichi