@Article{46,
  title = {数式処理プログラムによるディジタル回路の記号解析},
  author = {菅原 一孔 and 大東 佳代子},
  yomi = {Kazunori Sugahara and Kayoko Daito},
  journal = {電子情報通信学会論文誌},
  volume = {J70-A},
  number = {3},
  pages = {567--569},
  year = {1987},
  month = {3}
}