"Noriaki Yoshiura,Naoki Yonezaki","Provability of relevant logic ER",,"Proceedings of The 11th European-Japanese conference on   Information Modelling and Knowledge Basis",,,,"pp. 90--104",2001,May
"吉浦紀晃,米崎直樹","リアクティブシステムの段階的充足可能性とSafety Propertyの関係",,"信学技報 SS2000-43",,,,"pp. 9-16",2001,Jan.
"吉浦紀晃,米崎直樹","適切さの論理RとERの証明力の比較",,"人工知能学会誌",,"Vol. 14","No. 6","pp. 156-167",1999,Nov.
"吉浦紀晃,米崎直樹","証明力を拡張した適切さの論理 ER","プログラム変換と記号･数式処理","数理解析研究所講究録",,"Vol. 1125","No. 2000","pp. 93-114",1999,Nov.
"吉浦紀晃,米崎直樹","適切さの論理ERの決定可能性",,"人工知能学会誌",,"Vol. 14","No. 5","pp. 819-827",1999,Sept.
"吉浦紀晃","適切さの論理ERの決定可能性",,"人工知能学会誌",,"Vol. 14","No. 5","pp. 819-827",1999,
"吉浦紀晃","適切さの論理ERとRの証明力の比較",,"人工知能学会誌",,"Vol. 14","No. 6","pp. 1088-1099",1999,
"吉浦紀晃","証明力を拡張した適切さの論理ER",,"人工知能学会誌",,"Vol. 13","No. 6","pp. 981-989",1998,
"吉浦紀晃","知識推論への適用を目的とした適切さの論理の拡張に関する研究",,,,,,,1998,
"Yoshiura Noriaki,NAOKI YONEZAKI","More expressive Temporal Logic for Specification","5th International Conference on Software Engineering and Knowledge Engineering",,,,,"pp. 363-366",1993,June