Univ.-Prof. Dr. Stefan Szeider

, Vienna Center for Logic and Algorithms