Bonacina, M.P.M.P.BonacinaJIEH HSIANG2020-05-042020-05-041994https://scholars.lib.ntu.edu.tw/handle/123456789/488672[SDGs]SDG13Parallelization of deduction strategies: An analytical studyjournal article10.1007/BF00881910https://www.scopus.com/inward/record.uri?eid=2-s2.0-0028494268&doi=10.1007%2fBF00881910&partnerID=40&md5=2ca5e177d07c131aaa6c170edfeedfe6