HaVSA (Have-Saa) is a Haskell implementation of the Version Space
Algebra Machine Learning technique described by Tessa Lau. The
canonical description is in:
Tessa Lau, Steven Wolfman, Pedro Domingos, and Daniel S. Weld,
Programming by Demonstration using Version Space Algebra,
Machine Learning, 2003. (http:tlau.orgresearchpapers/mlj01-draft.pdf)