Minimal strongly unsatisfiable subsets of reactive system specifications. - Shigeki Hagihara; Naoki Egawa; Masaya Shimakawa; Naoki Yonezaki (ASE, 2014)