"Combinatorial principle in nonstandard analysis."

Mauro Di Nasso, Karel Hrbacek (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics