Bibtex de la publication

@InProceedings{ AuGrHeLo2009.1,
author = {Aucher, Guillaume and Grossi, Davide and Herzig, Andreas and Lorini, Emiliano},
title = "{Dynamic Context Logic (regular paper)}",
booktitle = "{LORI-II Workshop on Logic, Rationality and Interaction, Chongqing (China), 08/10/2009-11/10/2009}",
year = {2009},
publisher = {Springer-Verlag},
address = {http://www.springerlink.com/},
pages = {15--26},
language = {anglais}
}