Nestmann, Uwe. “What Is a ‘Good’ Encoding of Guarded Choice?”. BRICS Report Series 4, no. 45 (June 15, 1997). Accessed March 29, 2024. https://tidsskrift.dk/brics/article/view/19266.