"bitv\u011B u Trebbia"@cs .