@MISC{Hanus16Curry,
author       = {Hanus (ed.), M.},
title        = {Curry: An Integrated Functional Logic Language (Vers.\ 0.9.0)},
year         = {2016},
howpublished = {Available at \url{http://www.curry-lang.org}} }