1. Ackermann, W.: Solvable cases of the decision problem. Amsterdam 1954.
2. Davis, M., Putnam, H., Robinson, J.: The decision problem for exponential diophantine equations. Ann. of Math.74 (1961), 425–436.
3. Kostyrko, V.F.: Klass sve lenia ∀∃ n ∀ Algebra i Logika Seminar 3 (1964), 45–65.
4. Matijasevič, J.: Enumerable sets are diophantine, Dokl. Akad. Nauk SSSR191 (1970), 354–358.
5. Suranyi, J.: Reduktionstheorie des Entscheidungsproblems, Budapest 1959.