@STRING{spv = "Springer"}
@STRING{lncs = "LNCS"}
@STRING{lnai = "LNAI"}

@InProceedings{GedellLoop06,
  author =      {Tobias Gedell, Reiner H{\"a}hnle},
  title =       {Automating Verification of Loops by Parallelization},
  booktitle =    {Proceedings, 13th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  year =         2006,
  series =       lnai,
  publisher =    spv,
  note = {To appear}
}