author = {Temur Kutsia},
year = {2014},
conferencename = {16th International Symposium on Principles and Practice of Declarative Programming, PPDP 2014},
url = {http://users-cs.au.dk/danvy/ppdp14/}