"2013"@cs .