Decision Procedure for a Theory of String Sequences.

Denghang Hu, Taolue Chen, Philipp Rmmer, Fu Song, Zhilin Wu

Browse the full APLAS paper archive.