TY  - RPRT
TI  - An explicit algorithm for the Higman Embedding Theorem
AU  - V. H. Mikaelian
PY  - 2026
UR  - https://arxiv.org/abs/2507.04347
ID  - 2507.04347
ER  -