BibTeX record conf/agp/ProiettiP93

download as .bib file

@inproceedings{DBLP:conf/agp/ProiettiP93,
  author       = {Maurizio Proietti and
                  Alberto Pettorossi},
  editor       = {Domenico Sacc{\`{a}}},
  title        = {Completeness of some Transformation Strategies for Avoiding Unncecessary
                  Logical Variables},
  booktitle    = {8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy,
                  June 15-18, 1993},
  pages        = {601--616},
  year         = {1993},
  timestamp    = {Thu, 02 Dec 2004 11:00:44 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/ProiettiP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics