Bernd Brassel Frank Huch The Kiel Curry System KiCS. 195-205 2007 INAP/WLP http://dx.doi.org/10.1007/978-3-642-00675-3_13 conf/wlp/2007 db/conf/wlp/wlp2007.html#BrasselH07