Weidong Chen Jinghong Zeng Nondeterminism Through Well-Founded Choice. 285-309 1996 26 J. Log. Program. 3 db/journals/jlp/jlp26.html#ChenZ96