Wlodzimierz Drabent Jan Maluszynski Pawel Pietrzak Parametric Descriptive Types for CLP. 239-256 2001 conf/jfplc/2001 JFPLC db/conf/jfplc/jfplc2001.html#DrabentMP01