"Jan Ba\u017Eant"@cs .