Bi-interpretability of Some Monoids with the Arithmetic and Applications | Publicación