Sound and Decidable Type Inference for Functional Dependencies. Pages 49–63 (2004)

by G J Duck, Peyton Jones, S L Stuckey, P J, M Sulzmann