First-Order and Counting Theories of

Dietrich Kuske, Markus Lohrey

Browse the full FOSSACS paper archive.