Gergely, Tamás, and László Úry. 1980. “Nondeterministic Programming Within the Frame of First Order Classical Logic : Part 1”. Acta Cybernetica 4 (4), 333-54. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3196.