@ARTICLE {
	EDITOR = "Pablo Barcel{\'o} and Ruy de Queiroz and Ulrich Kohlenbach",
	TITLE = "21st Workshop on Logic, Language, Information and Computation -- WoLLIC 2014",
	JOURNAL = "Information and Computation",
	VOLUME = "255",
	NUMBER = "2",
	PAGES = "193-334",
	MONTH = "Aug",
	YEAR = "2017",
	PUBLISHER = "Elsevier Science",
	ADDRESS = "Amsterdam, The Netherlands",
	ISSN = "0890-5401"
	}