Chubaryan, A.A. (2002) “ON THE MINIMAL SEQUENTIAL CALCULI OF ROBINSON’S ARITHMETIC”, Proceedings of the YSU A: Physical and Mathematical Sciences, 36(3 (199), pp. 20–22. doi:10.46991/PYSUA.2002.36.3.020.