"cittern"@cs .