@unpublished{R54, Author = {Christoph Benzm{\"u}ller}, Keywords = {own, Automated Reasoning}, Title = {{CADE 2015 in Berlin: A Proposal}}, Year = 2013 }