F.D. Kamareddine

• Thirty Five Years of Automating Mathematics (Applied Logic Series)