@ARTICLE {
	EDITOR = "Gonzalo Navarro and Vladimir Pestov",
	TITLE = "Special Section on Selected Papers from SISAP 2012",
	JOURNAL = "Information Systems",
	VOLUME = "45",
	PAGES = "35-68",
	YEAR = "2014",
	PUBLISHER = "Elsevier Science",
	ADDRESS = "Amsterdam, The Netherlands",
	ISSN = "0306-4379"
	}