Uwe Nestmann. What is a Good Encoding of Guarded Choice?. Inf. Comput., 156(1-2):287-319, 2000.
@article{Nestmann00, title = {What is a Good Encoding of Guarded Choice?}, author = {Uwe Nestmann}, year = {2000}, researchr = {https://researchr.org/publication/Nestmann00}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {156}, number = {1-2}, pages = {287-319}, }