Introducing First Winners of the Graedel Prize: The JIE Best Paper Prizes. (29th March 2015) - Brattebø, Helge; Lifset, Reid