@article{oai:ipsj.ixsq.nii.ac.jp:00005056,
 author = {菅野, 博靖 and 田中, 二郎 and Sugano, Hiroyasu and Tanaka, Jiro},
 issue = {6},
 journal = {情報処理},
 month = {Jun},
 title = {非標準理論とその応用：メタ推論とリフレクション},
 volume = {30},
 year = {1989}
}