What is a ‘good’ encoding of guarded choice (2000)

by Uwe Nestmann
Venue:in the Proceedings of EXPRESS’97, volume 7 of ENTCS