%0 Journal Article
%T Hilbert’s tenth problem for term algebras with a substitution operator
%A Murwanashyaka, Juvenal
%J Computability
%V 13
%N 3-4
%P 433-457
%@ 2211-3568
%D 2024-11-28
%I SAGE Publications
%~ DeepDyve