Lin, Feng-TyanFeng-TyanLinWang, Hung-HsiangHung-HsiangWang2009-02-042018-06-292009-02-042018-06-292001http://ntur.lib.ntu.edu.tw//handle/246246/120343application/pdf211208 bytesapplication/pdfen-USAn abductive propositional logic for design reasoningjournal articlehttp://ntur.lib.ntu.edu.tw/bitstream/246246/120343/1/21.pdf