Cyber & formal methods publications June 1, 2013 Conference PaperAutomated Reasoning, Fast and Slow Citation Copy to clipboard Shankar, N. (2013, 19-24 June). Automated reasoning, fast and slow. Paper presented at the International Conference on Automated Deduction (CADE-24), Lake Placid, NY. Share this