Sound and Decidable Type Inference for Functional Dependencies (2004)

by G J Duck, S L Peyton Jones, P J Stuckey, M Sulzmann
Venue:In ESOP