Jiang, J.-H.R.J.-H.R.JiangBrayton, R.K.R.K.BraytonJIE-HONG JIANG2020-06-112020-06-112004https://scholars.lib.ntu.edu.tw/handle/123456789/497770Functional dependency for verification reductionjournal article2-s2.0-35048820104https://www.scopus.com/inward/record.uri?eid=2-s2.0-35048820104&partnerID=40&md5=e7b9954b4240cb4deae45ccfe68d34ae