On the Expressive Power of Multiple Heads in CHR

Re-assign community