Johannes Kloibhofer Institute for Logic, Language and Computation
Download the abstract.
Overview Program