Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
大村 伸一,Logical Program SynthesisのImplementation(Pilot1)について,京都産業大学論集. 自然科学系列,02879743,京都 : 京都産業大学,1978-09,,8,p347-364,https://cir.nii.ac.jp/crid/1520572360158052608,