On the Satisfiability of Context-free String Constraints with Subword-Ordering.

C. Aiswarya, Soumodev Mal, Prakash Saivasan

Browse the full LICS paper archive.