Combining satisfiability procedures by equality sharing
収録刊行物
-
- Automated Theorem Proving : After 25 Years
-
Automated Theorem Proving : After 25 Years 201-211, 1984
American Mathematical Society