"The Explicit Definition of Quantifiers via Hilbert's epsilon is Confluent ..."

Claus-Peter Wirth (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics