Marco Alberti Federico Chesani Marco Gavanelli Evelina Lamma The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. 111-122 2005 conf/wlp/2005 W(C)LP db/conf/wlp/wclp2005.html#AlbertiCGL05