2017年3月 Unification by proofs: The case of star polygon British Society for Research into Learning Mathematics Komatsu, K, Fujita, T, Jones, K, Sue, N