Sebastian Fischer: Reinventing Haskell Backtracking. GI Jahrestagung 2009: 2875-2888