"bitv\u011B u Kircholm"@cs .