Gergely, T., & Úry, L. (1980). Nondeterministic programming within the frame of first order classical logic : part 1. Acta Cybernetica, 4(4), 333-354. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3196