The Annual SUMO Reasoning Prizes at CASC.

Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac

Browse the full CADE paper archive.