Li, H., Y. Liang, J. Guo, and Z. Li. “Making Simple Tabular ReductionWorks on Negative Table Constraints”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 27, no. 1, June 2013, pp. 1629-30, doi:10.1609/aaai.v27i1.8519.