Sound and decidable type inference for functional dependencies (2004)

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