Search results for: Dale Miller
Journal of Small Business Management > 57 > 3 > 943 - 965
Journal of Automated Reasoning > 2019 > 63 > 3 > 625-665
Journal of Automated Reasoning > 2019 > 63 > 4 > 857-885
Theoretical Computer Science > 2016 > 655 > PB > 92-108
Formal Aspects of Computing > 2017 > 29 > 3 > 383-399
Electronic Notes in Theoretical Computer Science > 2016 > 323 > C > 93-108
Journal of Automated Reasoning > 2017 > 59 > 3 > 287-330
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Logic Programming: Theory and Extensions > 239-253
Lecture Notes in Computer Science > Automated Reasoning > Induction > 278-292