DiagrammaticCHR: A Diagrammatic Representation of CHR Programs | IEEE Conference Publication | IEEE Xplore