Nikola Benes, Jan Kretnsk, Kim G. Larsen, Mikael H. Mller, Jir Srba
Browse the full ATVA paper archive.