Translation Of Resolution Processes In Different Languages