Best Paper

Solving Modal Logic Problems by Translation to Higher-order Logic
Alexander Steen, Geoff Sutcliffe, Tobias Scholl and Christoph Benzm├╝ller