@inproceedings {7360,
	title = {Towards KoS/TTR-based proof-theoretic dialogue management},
	year = {2018},
	address = {Aix-en-Provence},
	author = {Vladislav Maraev and Jonathan Ginzburg and Staffan Larsson and Ye Tian and Jean-Philippe Bernardy},
	editor = {Lauren Prevot and Magali Ochs and Benoit Fabre}
}
