Donald W. Loveland Automated Deduction: Looking Ahead. 77-98 1999 20 AI Magazine 1 db/journals/aim/aim20.html#Loveland99