Special Relations in Automated Deduction.

Zohar Manna, Richard J. Waldinger

Browse the full ICALP paper archive.