"Halina"@cs .