Use this bibtex entry for the 10-page LICS'03 proceedings version (with minor corrections): pdf - ps - ps.gz.

Use this bibtex entry if you have been using the 15-page version, the same thing with 5 pages of proofs appended: pdf - ps - ps.gz - tex.