Decision Procedures for Some Fragments of Set Theory

The automation of syllogistic I. Syllogistic normal forms

Journal of Symbolic Computation

A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case

Journal of Automated Reasoning

Theory-specific automated reasoning

A 25-year perspective on logic programming

A computerized referee

Reasoning, Action and Interaction in AI Theories and Systems

Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets

Journal of Automated Reasoning