Text this: 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 /