DBLP BibTeX Record 'conf/lics/1987'

@proceedings{DBLP:conf/lics/1987,
  title     = {Proceedings of the Symposium on Logic in Computer Science
               (LICS '87), Ithaca, New York, USA, June 22-25, 1987},
  booktitle = {LICS},
  publisher = {IEEE Computer Society},
  year      = {1987},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}