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