A declarative extension of horn clauses, and its significance for datalog and its applications. Mazuran, M., Serra, E., & Zaniolo, C. Theory Pract. Log. Program., 13(4-5):609–623, 2013. Paper doi bibtex @article{DBLP:journals/tplp/MazuranSZ13,
author = {Mirjana Mazuran and
Edoardo Serra and
Carlo Zaniolo},
title = {A declarative extension of horn clauses, and its significance for
datalog and its applications},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {609--623},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000380},
doi = {10.1017/S1471068413000380},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/MazuranSZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"mERRfKvCjGNfsEhHq","bibbaseid":"mazuran-serra-zaniolo-adeclarativeextensionofhornclausesanditssignificancefordataloganditsapplications-2013","author_short":["Mazuran, M.","Serra, E.","Zaniolo, C."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Mirjana"],"propositions":[],"lastnames":["Mazuran"],"suffixes":[]},{"firstnames":["Edoardo"],"propositions":[],"lastnames":["Serra"],"suffixes":[]},{"firstnames":["Carlo"],"propositions":[],"lastnames":["Zaniolo"],"suffixes":[]}],"title":"A declarative extension of horn clauses, and its significance for datalog and its applications","journal":"Theory Pract. Log. Program.","volume":"13","number":"4-5","pages":"609–623","year":"2013","url":"https://doi.org/10.1017/S1471068413000380","doi":"10.1017/S1471068413000380","timestamp":"Sat, 05 Sep 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/tplp/MazuranSZ13.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tplp/MazuranSZ13,\n author = {Mirjana Mazuran and\n Edoardo Serra and\n Carlo Zaniolo},\n title = {A declarative extension of horn clauses, and its significance for\n datalog and its applications},\n journal = {Theory Pract. Log. Program.},\n volume = {13},\n number = {4-5},\n pages = {609--623},\n year = {2013},\n url = {https://doi.org/10.1017/S1471068413000380},\n doi = {10.1017/S1471068413000380},\n timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/tplp/MazuranSZ13.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Mazuran, M.","Serra, E.","Zaniolo, C."],"key":"DBLP:journals/tplp/MazuranSZ13","id":"DBLP:journals/tplp/MazuranSZ13","bibbaseid":"mazuran-serra-zaniolo-adeclarativeextensionofhornclausesanditssignificancefordataloganditsapplications-2013","role":"author","urls":{"Paper":"https://doi.org/10.1017/S1471068413000380"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://dblp.org/pers/tb2/s/Serra:Edoardo","dataSources":["7rWgxyuseebjFdqAR"],"keywords":[],"search_terms":["declarative","extension","horn","clauses","significance","datalog","applications","mazuran","serra","zaniolo"],"title":"A declarative extension of horn clauses, and its significance for datalog and its applications","year":2013}