Li H, Liang Y, Guo J, Li Z. Making Simple Tabular ReductionWorks on Negative Table Constraints. AAAI [Internet]. 2013Jun.29 [cited 2026Apr.24];27(1):1629-30. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/8519