Kawaguchi Yuuichi, Akama Kiyoshi, Miyamoto Eiichi. A Simple Framework for Objects That Have Classes and Substructures Based on ET Paradigm. 電子情報通信学会総合大会講演論文集. 2000. 2000. 1. 33-33
川口 雄一, 赤間 清, 宮本 衛市. Declarative Semantics for A Programming Language with Class Hierarchies and Substructure. 苫小牧工業高等専門学校紀要. 2000. 35. 57-63
赤間 清, 川口 雄一, 宮本 衛市, Kiyoshi Akama, Yuichi Kawaguchi, Eiichi Miyamoto, 北海道大学工学部システム情報工学専攻, 北海道大学工学部システム情報工学専攻, Dept.of System and Information Eng. Faculty of Eng. Hokkaido Univ., Dept.of Information Eng. Tomakomai National College of Technology, et al. 論理的問題の等価変換による解法(2) : SLD導出の限界. 人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence. 1998. 13. 6. 936-943