Model Completeness for Rational Trees. - Silvio Ghilardi; Lia M. Poidomani (IJCAR (1), 2024)