Joachim Biskup Inferences of Multivalued Dependencies in Fixed and Undetermined Universes. 93-105 1980 10 Theor. Comput. Sci. db/journals/tcs/tcs10.html#Biskup80