Числення контекстних термів для систем переписування Context term calculus for rewriting systems.