Köppl, D. (2023). Encoding Hard String Problems with Answer Set Programming [Conference paper]. TODO(LIPIcs), TODO. https://doi.org/TODO