@INPROCEEDINGS{HalfonSchnoebelenZetzsche2017a,
	AUTHOR		= {Halfon, Simon and Schnoebelen, Philippe and Zetzsche, Georg},
	TITLE		= {Decidability, Complexity, and Expressiveness of First-Order Logic Over the Subword Ordering},
	BOOKTITLE	= {Proc. of the Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017)},
	PAGES		= {1--12},
	PUBLISHER	= {IEEE Computer Society},
	YEAR		= {2017}
}