Klaus Galda

• Applications of quantifier elimination to mechanical theorem proving
• Logical reasoning and the Yucatec Maya language