7th International Conference on Automated Deduction - Shostak, R. E. ed.