What is a `Good' Encoding of Guarded Choice? (1997)

by Uwe Nestmann
Venue:INFORMATION AND COMPUTATION