% @string{jair="JAIR"}
@string{jair="Journal of Artificial Intelligence Research"},

@article{dhs09:abstractionJ,
  author={Domshlak, Carmel and Hoffmann, J\"org and Sabharwal, Ashish},
  title={Friends or Foes? On Planning as Satisfiability and Abstract {CNF} Encodings},
  journal=jair,
  volume=36,
  month=dec,
  year=2009,
  pages={415-469}}