What is a ``good'' encoding of guarded choice?
scientific article; zbMATH DE number 1853088