H. Verhaeghe, C. Lecoutre, and P. Schaus, “Extending Compact-Table to Negative and Short Tables”, AAAI, vol. 31, no. 1, Feb. 2017.