7th International Conference on Automated Deduction. - SHOSTAK, R.E (1984)