A. A. Chubaryan, “ON THE MINIMAL SEQUENTIAL CALCULI OF ROBINSON’S ARITHMETIC”, Proc. YSU A: Phys. Math. Sci., vol. 36, no. 3 (199), pp. 20–22, Sep. 2002, doi: 10.46991/PYSUA.2002.36.3.020.