DBLP BibTeX Record 'conf/sigsoft/Jackson00'

@inproceedings{DBLP:conf/sigsoft/Jackson00,
  author    = {Daniel Jackson},
  title     = {Automating first-order relational logic},
  booktitle = {SIGSOFT FSE},
  year      = {2000},
  pages     = {130-139},
  ee        = {http://portal.acm.org/citation.cfm?id=355045.355063},
  crossref  = {DBLP:conf/sigsoft/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sigsoft/2000,
  title     = {ACM SIGSOFT Symposium on Foundations of Software Engineering,
               an Diego, California, USA, November 6-10, 2000, Proceedings},
  booktitle = {SIGSOFT FSE},
  publisher = {ACM},
  year      = {2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}