@techreport{oai:ipsj.ixsq.nii.ac.jp:00028455,
 author = {林, 一司 and 丸山, 文宏 and 真野, 民男 and 角田多苗子 and 川戸, 信明 and 上原, 貴夫 and Kazushi, Hayashi and Fumihiro, Maruyama and Tamio, Mano and Taeko, Kakuda and Nobuaki, Kawato and Takao, Uehara},
 issue = {32(1985-SLDM-028)},
 month = {Sep},
 title = {論理型言語による論理設計支援システム},
 year = {1985}
}