Automated Deduction: Looking Ahead

Donald W. Loveland. Automated Deduction: Looking Ahead. AI Magazine, 20(1):77-98, 1999.

Abstract

Abstract is missing.