"HPL"@cs .