"Sigmund"@cs .