Chris Merz;Ralph Wilkerson
-;-
Automated development of Tarski's geometry
Journal of Automated Reasoning
Theorem Proving with Lemmas
Journal of the ACM (JACM)
Symbolic Logic and Mechanical Theorem Proving