@INPROCEEDINGS {
	AUTHOR = "Anthony Widjaja Lin and Pablo Barcel{\'o}",
	TITLE = "String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS",
	BOOKTITLE = "43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)",
	PAGES = "123-136",
	YEAR = "2016",
	PUBLISHER = "ACM Press",
	}