"Halin"@cs .