From the 1 of 1 linked paper with an AI index.
1 paper
LucÃa Asencio-MartÃn, John R. Britnell, Andrew Duncan +2
The paper presents an algorithm to build automata that recognize elements of a given submonoid or rational subset in an automatic group, using a convexity condition called L‑proxim…