"Lev Alburt"@cs .