"Concise descriptions of subsets of structured sets."

Ken Q. Pu, Alberto O. Mendelzon (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics