Search results for: David A. Plaisted
Journal of Automated Reasoning > 2017 > 59 > 2 > 165-218
Lecture Notes in Computer Science > Functional Programming Languages and Computer Architecture > 194-211
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 217-230
Lecture Notes in Computer Science > Automated Deduction in Classical and Non-Classical Logics > Invited Papers > 80-94