Bernd Braßel Sebastian Fischer 0001 Michael Hanus Fabian Reck 0002 Transforming Functional Logic Programs into Monadic Functional Programs. 30-47 2010 WFLP https://doi.org/10.1007/978-3-642-20775-4_2 conf/wflp/2010 db/conf/wflp/wflp2010.html#BrasselFHR10