Automated Reasoning in the Age of the Internet.

Alan Bundy, Kwabena Nuamah, Christopher Lucas

Browse the full AISC paper archive.