"bitv\u011B o Graus"@cs .