@techreport{weko_22147_1,
   author	 = "直井,邦彰 and 高橋,直久",
   title	 = "プレスブルガ－算術を用いたInfeasible Path検出法",
   year 	 = "1992",
   institution	 = "NTTソフトウェア研究所, NTTソフトウェア研究所",
   number	 = "88(1992-SE-088)",
   month	 = "nov"
}