A. A. Supianto, Y. Hayashi, and T. Hirashima, “Model-based analysis of thinking in problem posing as sentence integration focused on violation of the constraints”, RPTEL, vol. 12, Jun. 2017.