@article{oai:nitech.repo.nii.ac.jp:00001768,
 author = {大芝, 猛 and 永田, 周郎 and 宮脇, 誠 and 舟橋, 栄},
 journal = {名古屋工業大學學報},
 month = {Mar},
 note = {application/pdf},
 pages = {91--96},
 title = {エルブランの定理にもとずく1階述語論理の論理式の妥当性検証プログラムの1つについて},
 volume = {32},
 year = {1981},
 yomi = {オオシバ, タケシ}
}