Valeriy BalabanovJie-Hong R. JiangJIE-HONG JIANG2018-09-102018-09-102012-08http://scholars.lib.ntu.edu.tw/handle/123456789/374360Unified QBF Certification and its Applicationsjournal article10.1007/s10703-012-0152-62-s2.0-84863220264WOS:000305785600004