Development of a supporting tool for translation between declarative sentences and logical formulas. - Shunsuke Nanaumi; Kazunori Wagatsuma; Yuichi Goto; Jingde Cheng (ICMLC, 2013)

A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas. - Shunsuke Nanaumi; Kazunori Wagatsuma; Hongbiao Gao; Yuichi Goto; Jingde Cheng (ACIIDS (1), 2015)