T. . Horiguchi, T. Tomoto, and T. . Hirashima, “A framework of generating explanation for conceptual understanding based on ‘semantics of constraints’”, RPTEL, vol. 10, Jun. 2015.