On Termination, Confluence and Consistent CHR-based Type Inference | Publicación