@article{journals/synthese/Vaananen08,
  added-at = {2009-12-15T00:00:00.000+0100},
  author = {Väänänen, Jouko A.},
  biburl = {http://www.bibsonomy.org/bibtex/24530aa64eda8e2909857ba5bedc28afe/dblp},
  date = {2009-12-15},
  description = {dblp},
  ee = {http://dx.doi.org/10.1007/s11229-008-9357-z},
  interhash = {85306816c3a5a60d299526f110bbb3fb},
  intrahash = {4530aa64eda8e2909857ba5bedc28afe},
  journal = {Synthese},
  keywords = {dblp},
  number = 3,
  pages = {401-420},
  timestamp = {2009-12-15T00:00:00.000+0100},
  title = {The Craig Interpolation Theorem in abstract model theory.},
  url = {http://dblp.uni-trier.de/db/journals/synthese/synthese164.html#Vaananen08},
  volume = 164,
  year = 2008
}