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