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