"Theofil Halama"@cs .