Mirko Malekovic A Combined Algorithm for Testing Implications of Functional and Multi Valued Dependencies. [Citation Graph (0, 0)][DBLP] Informatica (Slovenia), 1993, v:17, n:3, pp:- [Journal]
Mirko Malekovic A Sound and Complete Axiomatization of Functional Dependencies: A Formal System With Only Two Inference Rules. [Citation Graph (0, 0)][DBLP] Informatica (Slovenia), 1995, v:19, n:3, pp:- [Journal]