R. E. Shostak

• 7th International Conference on Automated Deduction