2000): What Is a ‘Good’ Encoding of Guarded Choice (0)

by U Nestmann
Venue:Information and Computation