共 50 条
- [2] Quantified propositional calculus and a second-order theory for NC1 Archive for Mathematical Logic, 2005, 44 : 711 - 749
- [3] The Complexity of Equality Constraint Languages Theory of Computing Systems, 2008, 43 : 136 - 158
- [5] The complexity of equality constraint languages COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2006, 3967 : 114 - 126