A HIERARCHY OF NONDETERMINISM. - RADI, BADER ABU; KUPFERMAN, ORNA; LESHKOWITZ, OFER (Logical Methods in Computer Science (LMCS), 2025)