T. Geffner and H. Geffner, “Compact Policies for Fully Observable Non-Deterministic Planning as SAT”, ICAPS, vol. 28, no. 1, pp. 88-96, Jun. 2018.