@article{journals/synthese/AbramskyV09,
  added-at = {2009-12-15T00:00:00.000+0100},
  author = {Abramsky, Samson and Väänänen, Jouko A.},
  biburl = {http://www.bibsonomy.org/bibtex/29fd8f583faa991ca9074a1896d8e22e8/dblp},
  date = {2009-12-15},
  description = {dblp},
  ee = {http://dx.doi.org/10.1007/s11229-008-9415-6},
  interhash = {15dda094cae68c6585c27d8487238fd6},
  intrahash = {9fd8f583faa991ca9074a1896d8e22e8},
  journal = {Synthese},
  keywords = {dblp},
  number = 2,
  pages = {207-230},
  timestamp = {2009-12-15T00:00:00.000+0100},
  title = {From IF to BI.},
  url = {http://dblp.uni-trier.de/db/journals/synthese/synthese167.html#AbramskyV09},
  volume = 167,
  year = 2009
}