SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.
Citation: | Yu Xiangdong. Some Hard Examples for the Resolution Method[J]. Journal of Computer Science and Technology, 1990, 5(3): 302-304. |
Brartford Dunham and Hao Wang, Towards feasible solution of the tautology problem, Ann. Math. Logic, 10 (1976), 117-154.
|