Bibtex de la publication

@InProceedings{ Ba2016.22,
author = {Balbiani, Philippe and Tinchev, Tinko},
title = "{Unification in modal logic Alt1 (regular paper)}",
booktitle = "{Advances in Modal Logic (AiML), Budapest (Hungary), 30/08/2016-02/09/2016}",
year = {2016},
publisher = {College Publications},
address = {http://www.collegepublications.co.uk/},
pages = {117--134},
language = {anglais},
URL = {http://oatao.univ-toulouse.fr/19193/},
keywords = {Modal logic, Unification problem, unification type.}
}