@techreport{weko_38790_1,
   author	 = "梅澤,顕 and 菊池,浩司 and 狩野,均 and 西原,清一",
   title	 = "曲面を含む三面図の矛盾の検出と理解",
   year 	 = "1993",
   institution	 = "筑波大学電子情報工学系, 筑波大学電子情報工学系, 筑波大学電子情報工学系, 筑波大学電子情報工学系",
   number	 = "62(1993-CG-063)",
   month	 = "jul"
}