Complete, Recursively Enumerable Relations in Arithmetic. - Giovanna D'Agostino; Mario Magnago (Math. Log. Q., 1995)