"Stalavi\u010Dy"@cs .