T. Gergely and L. Úry, “Nondeterministic programming within the frame of first order classical logic : part 2”, Acta Cybern, vol. 4, no. 4, pp. 355-375, Jan. 1980.