"Martin Fafl"@cs .