"Logica"@cs .