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

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