Joel Berman Willem J. Blok Equational Dependencies. 213-223 1992 28 Elektronische Informationsverarbeitung und Kybernetik 4 db/journals/eik/eik28.html#BermanB92