Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey: Breaking Symmetries with Lex Implications. FLOPS 2018: 182-197