Matthew Naylor Emil Axelsson Colin Runciman A functional-logic library for wired. 37-48 2007 conf/haskell/2007 Haskell https://doi.org/10.1145/1291201.1291207 db/conf/haskell/haskell2007.html#NaylorAR07