Algebraic Knowledge Discovery Using Haskell. - Jens Fisseler; Gabriele Kern-Isberner; Christoph Beierle; Andreas Koch 002; Christian Müller (PADL, 2007)