Bibtex de la publication

@InProceedings{ TrLoVi2007.1,
author = {Trypuz, Robert and Lorini, Emiliano and Vieu, Laure},
title = "{Solving Bratman's video game puzzle in two formalisms}",
booktitle = "{ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA 2007), Donostia (San Sebastian), 28/11/07-30/11/07}",
editor = {Arrazola, Xabier and Larrazabal, Jesus Mari},
year = {2007},
month = {novembre},
publisher = {University of the Basque Country Press},
pages = {411--426},
language = {anglais}