"Ladislav Bittner"@cs .