Унификация и ее степени: что это и зачем нужно