@ARTICLE {
	AUTHOR = "Pablo Barcel{\'o} and Leonid Libkin",
	TITLE ="Order-Invariant Types and Their Applications",
	JOURNAL = "Logical Methods in Computer Science (LMCS)",
	VOLUME = "12",
	NUMBER = "1",
	PAGES = "Article 9",
	MONTH = "Apr",
	YEAR = "2016",
	ISSN = "1860-5974"
	}