Bibtex de la publication

@InProceedings{ DeHedeLo2010.1,
author = {De Boer, Mathijs and Herzig, Andreas and de Lima, Tiago and Lorini, Emiliano},
title = "{Tableaux for Acceptance Logic (regular paper)}",
booktitle = "{International Workshop on Declarative Agent Languages and Technologies (DALT 2009), Budapest, Hungary, 11/05/09-12/05/09}",
editor = {Baldoni, M. and Bentahar, J. and Lloyd, J. and van Riemsdijk, M. B.},
year = {2010},
month = {avril},
publisher = {Springer-Verlag},
address = {},
series = {LNAI},
number = {5948},
pages = {85--100},
language = {anglais},
keywords = {acceptance logic, automated theorem proving, tableaux},
note = {Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009. Revised, Selected and Invited Papers}