Early History and Perspectives of Automated Deduction (2007) [pdf]intellektik.de2 points·lainon··0 commentsOpen articleSaveView on HN