Gergely, T. and Úry, L. 1980. Nondeterministic programming within the frame of first order classical logic : part 2. Acta Cybernetica. 4, 4 (Jan. 1980), 355-375.