"KB Prost\u011Bjov"@cs .