"Gressenberg"@cs .