Recursive Structures in Involutive Bases Theory - doi 10.1016/j.jsc.2023.01.003 2023-09 Article type Journal