TY - RPRT TI - A modified proof for Higman's embedding theorem AU - V. H. Mikaelian PY - 2023 UR - https://arxiv.org/abs/1908.10153 ID - 1908.10153 ER -