English automated reasoning tools: перевод на другие языки