@InProceedings{GhiNiZu-FroCoS-05,
   author = {Silvio Ghilardi and Enrica Nicolini and Daniele Zucchelli},
    title = {A Comprehensive Framework for Combined Decision Procedures},
booktitle = {Proceedings of the 5th International Workshop on Frontiers of Combining Systems (FroCoS 2005)},
   editor = {Bernhard Gramlich},
     year = {2005},
   series = {Lecture Notes in Computer Science},
   volume = {3717},
    pages = {1--30},
  address = {Vienna (Austria)},
publisher = {Springer},
}