@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00239158,
 author = {五十嵐, 滋 and 水谷, 哲也 and 塩, 雅之 and 白銀, 哲也 and 富田, 康治 and Igarashi, Shigeru and Mizutani, Tetsuya and Shio, Masayuki and Shirogane, Tetsuya and Tomita, Kohji},
 book = {第38回プログラミング・シンポジウム報告集},
 month = {Jan},
 pages = {1--12},
 publisher = {情報処理学会},
 title = {知的制御プログラムの数理的基礎について},
 volume = {1997},
 year = {1997}
}