"bitv\u011B u Tinchebray"@cs .