An optimality result for clause form translation

A Structure-preserving Clause Form Translation

David A. Plaisted, Steve Greenbaum · Journal of Symbolic Computation · 1986 · 584 citations

Language Studies, Computer Science, Computational Linguistics +8

Seventy-five problems for testing automatic theorem provers

Francis Jeffry Pelletier · Journal of Automated Reasoning · 1986 · 194 citations

Computing, Computer Science, Formal Methods +13

Proceedings of the 8th International Conference on Automated Deduction

Computer-Aided Design · 1987 · 57 citations

Computing, Computer Science, Algorithms +13

Proceedings of the 10th International Conference on Automated Deduction

Mark E. Stickel · 1990 · 27 citations

Computing, Computer Science, Formal Methods +13

The halting problem

Leslie Burkholder · ACM SIGACT News · 1987 · 26 citations

Business, Information Systems, Copyright Infringement +5