Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings - De Paiva, Valeria. (Springer Berlin Heidelberg,)