@techreport{weko_31350_1,
   author	 = "牧野守邦",
   title	 = "論理型言語によるソフトウェア設計",
   year 	 = "1985",
   institution	 = "慶応義塾大学・理工学部",
   number	 = "12(1985-PRO-013)",
   month	 = "jun"
}