題名: A Survey of Automated Deduction 著者：Alan Bundy 入手元：http://www.springerlink.com/app/home/contribution.asp?wasp=35da3974be85430c9163fdaeeb944fe0&referrer=parent&backto=issue,6,20;journal,1944,2173;linkingpublicationresults,1:1056…