https://1library.net/document/ye9jm1eq-abstract-consider-unification-problems-mathematics-refer.html