"Notions of Dependency Satisfaction."

Marc H. Graham, Alberto O. Mendelzon (1982)
a service of Schloss Dagstuhl - Leibniz Center for Informatics