@article{weko_5304_1,
   author	 = "堂下,修司 and 西田,豊明 and 三浦,欽也",
   title	 = "様相論理をその情報処理への応用：I. 様相論理",
   journal	 = "情報処理",
   year 	 = "1988",
   volume	 = "29",
   number	 = "1",
   month	 = "jan"
}