A representation of recursively enumerable sets through Horn formulas in higher recursion theory. - Juan A. Nido Valencia; Julio Solís-Daun; Luis Miguel Villegas-Silva (Period. Math. Hung., 2016)