@inproceedings{CTT100676395,
  author = {Shigeki Hagihara and Naoki Egawa and Masaya Shimakawa and Naoki Yonezaki},
  title = {Minimal strongly unsatisfiable subsets of reactive system specifications},
  booktitle = {Proceedings of the 29th ACM/IEEE international conference on Automated software engineering (ASE2014)},
  year = 2014,
}

@inproceedings{CTT100673592,
  author = {萩原茂樹 and 江川直毅 and 島川昌也 and 米崎直樹},
  title = {リアクティブシステム仕様の極小強充足不能部分計算に関する考察},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100665096,
  author = {萩原茂樹 and 江川直毅 and 島川昌也 and 米崎直樹},
  title = {強充足不能なリアクティブシステム仕様における欠陥範囲の特定},
  booktitle = {ソフトウェア工学の基礎XX, 日本ソフトウェア科学会 FOSE 2013},
  year = 2013,
}