@misc{oai:repository.dl.itc.u-tokyo.ac.jp:00003023,
 author = {金田, 泰},
 month = {Mar},
 title = {記号処理プログラムのベクトル処理法とその論理型言語プログラムへの適用},
 year = {1992}
}