Decision Procedures and Model Building, or How to Improve Logical Information in Automated Deduction
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Model building with ordered resolution: extracting models from saturated clause sets
Journal of Symbolic Computation - Special issue: First order theorem proving
A calculus combining resolution and enumeration for building finite models
Journal of Symbolic Computation - Special issue: First order theorem proving
Tree Automata and Automated Model Building
Fundamenta Informaticae
Hi-index | 0.00 |