On rationally controlled one-rule insertion systemsMichel Latteux and Yves RoosRAIRO-Theor. Inf. Appl., 56 (2022) 8DOI: https://doi.org/10.1051/ita/2022008