N.-Z. Lee and J.-H. R. Jiang, “Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty”, AAAI, vol. 35, no. 5, pp. 3877-3885, May 2021.