Christian Drescher, Toby Walsh. Reformulation of Global Constraints in Answer Set Programming. In Abstraction, Reformulation, and Approximation, Papers from the 2010 AAAI Workshop, Atlanta, Georgia, USA, July 12, 2010. Volume WS-10-08 of AAAI Workshops, AAAI, 2010. [doi]