"Minimal predicates, fixed-points, and definability."

Johan van Benthem (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics