ZanioloS86'

@inproceedings{DBLP:conf/flfp/ZanioloS86,
  author    = {Carlo Zaniolo and
               Domenico Sacc{\`a}},
  title     = {Rule Rewriting Methods for Efficient Implementations of
               Horn Logic},
  booktitle = {Foundations of Logic and Functional Programming},
  year      = {1986},
  pages     = {114-139},
  ee        = {http://dx.doi.org/10.1007/3-540-19129-1_5},
  crossref  = {DBLP:conf/flfp/1986},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/flfp/1986,
  editor    = {Mauro Boscarol and
               Luigia Carlucci Aiello and
               Giorgio Levi},
  title     = {Foundations of Logic and Functional Programming, Workshop,
               Trento, Italy, December 15-19, 1986, Proceedings},
  booktitle = {Foundations of Logic and Functional Programming},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {306},
  year      = {1988},
  isbn      = {3-540-19129-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}