"5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, ..."

Wolfgang Bibel, Robert A. Kowalski (1980)
a service of Schloss Dagstuhl - Leibniz Center for Informatics