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), pp. 1629-1630. doi: 10.1609/aaai.v27i1.8519.