Journal article

Understanding functional dependencies via constraint handling rules

Martin Sulzmann, Gregory J Duck, Simon Peyton-Jones, Peter J Stuckey

JOURNAL OF FUNCTIONAL PROGRAMMING | CAMBRIDGE UNIV PRESS | Published : 2007