Topics in automated theorem proving and program generation

Well-Behaved Inference Rules for First-Order Theorem Proving

Journal of Automated Reasoning

Proving Consistency Assertions for Automotive Product Data Management

Journal of Automated Reasoning

Alternative Translation Techniques for Propositional and First-Order Modal Logics

Journal of Automated Reasoning

Schema recognition for program transformations

LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming

Definitions by rewriting in the Calculus of Constructions

Mathematical Structures in Computer Science

AI-related dissertations

ACM SIGART Bulletin

Theorem proving modulo based on Boolean equational procedures

RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra