@string(sv="Springer Verlag")
@string(lncs="Lecture Notes in Computer Science")

@InProceedings{AehligCookNguyen07,
  author =       {Aehlig, Klaus and Cook, Stephen A. and Nguyen, Phuong},
  title =        {Relativizing Small Complexity Classes and their Theories},
  crossref =     {CSL07},
  pages= {374--388}
}

@Proceedings{CSL07,
  editor = {Duparc, Jacques and Henzinger, Thomas},
  title =        {Proceedings of the sixteenth Annual Conference on Computer Science and Logic},
  year =         2007,
  booktitle =    {Proceedings of the sixteenth Annual Conference on Computer Science and Logic},
  series =       lncs,
  volume = 4646,
  month =        sep,
  publisher =    sv
}