“A Framework of Generating Explanation for Conceptual Understanding based on ’Semantics of Constraints’”, ICCE, Nov. 2014, doi: 10.58459/icce.2014.352.