共 50 条
- [3] Unions of disjoint NP-complete sets Hitchcock, J.M. (jhitchco@cs.uwyo.edu), 1600, Association for Computing Machinery, 2 Penn Plaza, Suite 701, New York, NY 10121-0701, United States (06):
- [7] Canonization for disjoint unions of theories AUTOMATED DEDUCTION - CADE-19, PROCEEDINGS, 2003, 2741 : 197 - 211