What is a `good' encoding of guarded choice (1997)

by Uwe Nestmann
Venue:In Catuscia Palamidessi and