updated gorla.bib publications, and made crossrefs consistent using : (to prepare for abbreviations)
Attach a file by drag & drop or click to upload
