Haruhiko Kimura, Tadanobu Misawa, Koji Abe, Yasuhiro Ogoshi. A Speedup Algorithm for Repetition of Hypothetical Reasoning. JACIII, 10(2):207-218, 2006. [doi]
@article{KimuraMAO06,
title = {A Speedup Algorithm for Repetition of Hypothetical Reasoning},
author = {Haruhiko Kimura and Tadanobu Misawa and Koji Abe and Yasuhiro Ogoshi},
year = {2006},
url = {http://www.fujipress.jp/finder/xslt.php?mode=present&inputfile=JACII001000020012.xml},
researchr = {https://researchr.org/publication/KimuraMAO06},
cites = {0},
citedby = {0},
journal = {JACIII},
volume = {10},
number = {2},
pages = {207-218},
}