Ryosuke Onda, Yuki Hirai, Kay Penny, Bipin Indurkhya, Keiichi Kaneko. A Support System for Solving Problems of Two-Triangle Congruence Using 'Backward Chaining'. IEICE Transactions, 100-D(10):2567-2577, 2017. [doi]
@article{OndaHPIK17,
title = {A Support System for Solving Problems of Two-Triangle Congruence Using 'Backward Chaining'},
author = {Ryosuke Onda and Yuki Hirai and Kay Penny and Bipin Indurkhya and Keiichi Kaneko},
year = {2017},
url = {http://search.ieice.org/bin/summary.php?id=e100-d_10_2567},
researchr = {https://researchr.org/publication/OndaHPIK17},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {100-D},
number = {10},
pages = {2567-2577},
}