"HAL"@cs .