"Thog"@cs .