"Automated Deduction - CADE-14, 14th International Conference on Automated ..."

William McCune (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics