Y Hanatani;R Fagin
-;-
Characterisations of multivalued dependency implication over undetermined universes
Journal of Computer and System Sciences