Supianto, A. A.; Hayashi, Y.; Hirashima, T. Model-Based Analysis of Thinking in Problem Posing As Sentence Integration Focused on Violation of the Constraints. RPTEL 2017, 12.