"''Salamander''"@cs .