@InProceedings{NiRiRu-TACAS-09,
   author = {Enrica Nicolini and Christophe Ringeissen and Micha{\"e}l Rusinowitch},
    title = {Satisfiability Procedures for Combination of Theories Sharing Integer Offsets},
booktitle = {Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009)},
   editor = {?},
     year = {2009},
   series = {Lecture Notes in Computer Science},
   volume = {????},
    pages = {??--??},
  address = {York (UK)},
publisher = {Springer},
}