Sound and Decidable Type Inference for Functional Dependencies (2004)

by Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey, Martin Sulzmann