"DINA"@cs .