Nondeterministic programming within the frame of first order classical logic : part 2 - Gergely, Tamás; Úry, László (Acta Cybernetica, 1980)