Li, H.; Liang, Y.; Guo, J.; Li, Z. Making Simple Tabular ReductionWorks on Negative Table Constraints. AAAI 2013, 27, 1629-1630.