Henkin quantifiers and Boolean formulae: A certification perspective of DQBF

Valeriy BalabanovHui-Ju K. ChiangJie-Hong R. JiangJIE-HONG JIANG2018-09-102018-09-102014-02http://scholars.lib.ntu.edu.tw/handle/123456789/388875Henkin quantifiers and Boolean formulae: A certification perspective of DQBFjournal article10.1016/j.tcs.2013.12.0202-s2.0-84895058822WOS:000331666200004