H. Li, Y. Liang, J. Guo, and Z. Li, “Making Simple Tabular ReductionWorks on Negative Table Constraints”, AAAI, vol. 27, no. 1, pp. 1629-1630, Jun. 2013.