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