@inproceedings{jcg2008,
  AUTHOR    = { Jain, Himanshu
                and Clarke, Edmund 
                and Grumberg, Orna},
  TITLE     = {Efficient Craig Interpolation for Linear Diophantine (Dis)Equat\
ions and Linear Modular Equations},
  BOOKTITLE = { Proceedings of CAV 2008 },
  YEAR      = { 2008 },
  PUBLISHER = { Springer },
  PAGES     = { 254--267 },
  SERIES    = { Lecture Notes in Computer Science },
  VOLUME    = { 5123 },
}