@InProceedings{GhiNiRaZu-CADE-07,
   author = {Silvio Ghilardi and Enrica Nicolini and Silvio Ranise and Daniele Zucchelli},
    title = {Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems},
booktitle = {Proceedings of the 21st Conference on Automated Deduction (CADE 2007)},
   editor = {Frank Pfenning},
     year = {2007},
   series = {Lecture Notes in Computer Science},
   volume = {4603},
    pages = {362--378},
  address = {Bremen (Germany)},
publisher = {Springer},
}