Hsiang J.2010-12-202018-07-052010-12-202018-07-051997http://ntur.lib.ntu.edu.tw//handle/246246/221034en-US1997 Herbrand Award for Distinguished Contributions to Automated Reasoning Recipient: Professor Wu Wen-Tsunconference paper