Grounding Terms from an Ontology for use in Autoformalization: Tokenization is All You Need. - Richard Thompson; Adam Pease; Mathias Kölsch; Angelos Toutsios (NeSy, 2025)