Vienna Summer of Logic.

Matthias Baaz, Thomas Eiter, Helmut Veith

Browse the full KR paper archive.