Li, H., Liang, Y., Guo, J. and Li, Z. 2013. Making Simple Tabular ReductionWorks on Negative Table Constraints. Proceedings of the AAAI Conference on Artificial Intelligence. 27, 1 (Jun. 2013), 1629-1630. DOI:https://doi.org/10.1609/aaai.v27i1.8519.