234 followers Verification papers @verif_papers History and Prospects for First-Order Automated Deduction. - David A. Plaisted http://t.co/dAxI0V12tC 01 Aug 2015 Reply Repost Favourite