Detection and exploitation of functional dependencies for model generation

Broes de Cat, Maurice Bruynooghe. Detection and exploitation of functional dependencies for model generation. TPLP, 13(4-5):471-485, 2013. [doi]

Abstract

Abstract is missing.