Sound and Decidable Type Inference for Functional Dependencies.

Gregory J. Duck Simon L. Peyton Jones Peter J. Stuckey Martin Sulzmann Sound and Decidable Type Inference for Functional Dependencies. 49-63 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2986&spage=49 2004 conf/esop/2004 ESOP db/conf/esop/esop2004.html#DuckPSS04