7th International Conference on Automated Deduction. - SHOSTAK, R.E. (1984)
Záznam neprešiel kontrolou