Propagating lex, find and replace with Dashed Strings.

Roberto Amadini, Graeme Gange, Peter J. Stuckey

Browse the full CPAIOR paper archive.