@conference{AnantharamanBNR12, author = "Siva Anantharaman and Christopher Bouchard and Paliath Narendran and Micha{\"e}l Rusinowitch", booktitle = "Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coru{\~n}a, Spain, March 5-9, 2012. Proceedings", note = "partners: INRIA, SUNY Albany, U. Orleans; projects: Nessos"; TIER: C; citations:2", pages = "70-82", title = "{U}nification {M}odulo {C}haining", year = "2012", }