CSTheory Formal marginalia for Algorithm to merge two incomplete sequences of symbols (strings) into a complete one, CSTheory 2014.
