TY - RPRT TI - Hilbert's epsilon as an Operator of Indefinite Committed Choice AU - Claus-Peter Wirth PY - 2012 DO - 10.1016/j.jal.2007.07.009 UR - https://arxiv.org/abs/0902.3749 ID - 0902.3749 ER -