Tsai, M.-H.M.-H.TsaiYIH-KUEN TSAYHwang, Y.-S.Y.-S.Hwang2018-09-102018-09-102013http://www.scopus.com/inward/record.url?eid=2-s2.0-84881183376&partnerID=MN8TOARShttp://scholars.lib.ntu.edu.tw/handle/123456789/377792GOAL for games, omega-automata, and logicsbook10.1007/978-3-642-39799-8_62