5th Conference on Automated Deduction - heftet, Engelsk, 1980