Michael Freund A semantic charcterization of disjunctive relations. 72-83 1991 conf/fair/1991 FAIR db/conf/fair/fair1991.html#Freund91