"Definability and Compression."

Foto N. Afrati, Hans Leiß, Michel de Rougemont (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics