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