Title: Applications of quantifier elimination to mechanical theorem proving
Subjects: Automatic theorem proving