@inproceedings{DBLP:conf/asp/GrossiM05,
  author       = {Giuliano Grossi and
                  Massimo Marchi},
  editor       = {Marina De Vos and
                  Alessandro Provetti},
  title        = {A New Algorithm for Answer Set Computation},
  booktitle    = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
                  of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {142},
  publisher    = {CEUR-WS.org},
  year         = {2005},
  url          = {https://ceur-ws.org/Vol-142/page155.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:21 +0100},
  biburl       = {https://dblp.org/rec/conf/asp/GrossiM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"j9i4WSmaLsKBScdLt","bibbaseid":"grossi-marchi-anewalgorithmforanswersetcomputation-2005","author_short":["Grossi, G.","Marchi, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Giuliano"],"propositions":[],"lastnames":["Grossi"],"suffixes":[]},{"firstnames":["Massimo"],"propositions":[],"lastnames":["Marchi"],"suffixes":[]}],"editor":[{"firstnames":["Marina","De"],"propositions":[],"lastnames":["Vos"],"suffixes":[]},{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Provetti"],"suffixes":[]}],"title":"A New Algorithm for Answer Set Computation","booktitle":"Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005","series":"CEUR Workshop Proceedings","volume":"142","publisher":"CEUR-WS.org","year":"2005","url":"https://ceur-ws.org/Vol-142/page155.pdf","timestamp":"Fri, 10 Mar 2023 16:22:21 +0100","biburl":"https://dblp.org/rec/conf/asp/GrossiM05.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/asp/GrossiM05,\n author = {Giuliano Grossi and\n Massimo Marchi},\n editor = {Marina De Vos and\n Alessandro Provetti},\n title = {A New Algorithm for Answer Set Computation},\n booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings\n of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005},\n series = {{CEUR} Workshop Proceedings},\n volume = {142},\n publisher = {CEUR-WS.org},\n year = {2005},\n url = {https://ceur-ws.org/Vol-142/page155.pdf},\n timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},\n biburl = {https://dblp.org/rec/conf/asp/GrossiM05.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n","author_short":["Grossi, G.","Marchi, M."],"editor_short":["Vos, M. D.","Provetti, A."],"key":"DBLP:conf/asp/GrossiM05","id":"DBLP:conf/asp/GrossiM05","bibbaseid":"grossi-marchi-anewalgorithmforanswersetcomputation-2005","role":"author","urls":{"Paper":"https://ceur-ws.org/Vol-142/page155.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/search/publ/bibtex?q=author:Giuseppe_Boccignone:|author:Raffaella_Lanzarotti:|author:Giuliano_Grossi:|author:Vittorio_Cuculo:|author:Alessandro_D'Amelio:","dataSources":["uTaF5sv54H7Hk6LZw"],"keywords":[],"search_terms":["new","algorithm","answer","set","computation","grossi","marchi"],"title":"A New Algorithm for Answer Set Computation","year":2005}