Bibtex de la publication

@InProceedings{ BaVa1998.1,
author = {Balbiani, Philippe and Vakarelov, Dimiter},
title = "{Extending arrow logic}",
booktitle = "{International Seminar on Relational Methods in Computer Science (RelMiCS), Pologne, 01/01/1998-31/12/1998}",
year = {1998},
publisher = {Stefan Banach International Center},
address = {UNKNOWN},
pages = {13--17},
language = {anglais}
}