K. Kojima, K. Miwa, and T. Matsui, “Experimental study of learning support through examples in mathematical problem posing”, RPTEL, vol. 10, Jun. 2015.