Definable decompositions for graphs of bounded linear cliquewidth (Logical Methods in Computer Science, 2021)