Understanding functional dependencies via constraint handling rules

Martin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey. Understanding functional dependencies via constraint handling rules. Journal of Functional Programming, 17(1):83-129, 2007. [doi]

Abstract

Abstract is missing.