What is a Good Encoding of Guarded Choice?

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},
}