@proceedings{icalp04,
  title     = {Automata, Languages and Programming: 31st International Colloquium,
               ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings},
  booktitle = {ICALP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3142},
  year      = {2004},
  isbn      = {3-540-22849-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Skelley04,
  author    = {Alan Skelley},
  title     = {Propositional {PSPACE} Reasoning with {Boolean} Programs Versus
               Quantified {Boolean} Formulas.},
  booktitle = {ICALP},
  year      = {2004},
  pages     = {1163-1175},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3142{\&}spage=1163},
  crossref  = {icalp04},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}