A Support System for Solving Problems of Two-Triangle Congruence Using 'Backward Chaining'. - Ryosuke Onda; Yuki Hirai; Kay Penny; Bipin Indurkhya; Keiichi Kaneko (IEICE Trans. Inf. Syst., 2017)