Donald Kuehner

• Strategies for improving the efficiency of automatic theorem-proving