A Structure-preserving Clause Form Translation
Journal of Symbolic Computation
Logic for problem-solving
Handling indefinite and negative data in a deductive database
Data & Knowledge Engineering
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Theorem Proving via General Matings
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
The Complexity of Computing
Improvements of a Tautology-Testing Algorithm
Proceedings of the 6th Conference on Automated Deduction
| Hi-index | 0.00 |