@inproceedings{CTT100843438,
  author = {小林 学 and 吉川 厚 and 大場勇治郎},
  title = {教材知識構築支援システム（2）},
  booktitle = {情報処理学会研究報告コンピュータと教育（CE）},
  year = 1991,
}

@inproceedings{CTT100843439,
  author = {小林 学 and 吉川 厚 and 大場勇治郎},
  title = {集合論の定理証明向けICAI},
  booktitle = {情報処理学会研究報告コンピュータと教育（CE）},
  year = 1990,
}