Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics. - Ghada Fakhry; Nada Sharaf; Slim Abdennadher (LOPSTR, 2013)