Applications of quantifier elimination to mechanical theorem provingby Klaus GaldaAutomatic theorem provingWriting a summary for young readers…For young readersBook data: Open Library