@techreport{jcg08tech,
  author = "Himanshu Jain and Edmund M. Clarke and Orna Grumberg",
  title  = "Efficient Craig Interpolation for Linear Diophantine
       (Dis)Equations and Linear Modular Equations",
  year   = 2008,
  institution = "Carnegie Mellon University, School of Computer Science",
  number = "CMU-CS-08-102",
}