Sidney C. Bailin
Computer Technology Associate, Laurel, MD
Automated Theorem Proving in First-Order Logic Modulo: On the Difference between Type Theory and Set Theory
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Classical type theory
Handbook of automated reasoning