Verhaeghe, H.; Lecoutre, C.; Schaus, P. Extending Compact-Table to Negative and Short Tables. AAAI 2017, 31.