Dershowitz, NachumNachumDershowitzJosephson, N.AlanN.AlanJosephsonHsiang, JiehJiehHsiangPlaisted, David A.David A.PlaistedJIEH HSIANG2018-09-102018-09-101983http://www.scopus.com/inward/record.url?eid=2-s2.0-0020952547&partnerID=MN8TOARShttp://scholars.lib.ntu.edu.tw/handle/123456789/302851conference paper