author = {Temur Kutsia and Wolfgang Schreiner},
year = {2010},
conferencename = {PPDP 2010, The 12th International Symposium on Principles and Practice of Declarative Programming},
url = {http://www.risc.uni-linz.ac.at/about/conferences/ppdp2010/}