Numeric Base Conversion with Rewriting. - Olivier Hermant; Wojciech Loboda (LPAR Complementary Volume, 2024)