6th Conference on Automated Deduction. - LOVELAND, D.W. (1982)
Záznam neprešiel kontrolou