@inproceedings{Naqvi:87,
	address = {Menlo Park, California},
	title = {Negative {Queries} in {Horn} {Databases}},
	booktitle = {Proceedings {From} the {First} {International} {Conference} on {Expert} {Database} {Systems}},
	publisher = {Benjamin Cummings},
	author = {Naqvi, S A},
	year = {1987},
	pages = {227--236},
}

{"_id":"KsRCpC8fsbyc7D47x","bibbaseid":"naqvi-negativequeriesinhorndatabases-1987","author_short":["Naqvi, S A"],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Menlo Park, California","title":"Negative Queries in Horn Databases","booktitle":"Proceedings From the First International Conference on Expert Database Systems","publisher":"Benjamin Cummings","author":[{"propositions":[],"lastnames":["Naqvi"],"firstnames":["S","A"],"suffixes":[]}],"year":"1987","pages":"227–236","bibtex":"@inproceedings{Naqvi:87,\n\taddress = {Menlo Park, California},\n\ttitle = {Negative {Queries} in {Horn} {Databases}},\n\tbooktitle = {Proceedings {From} the {First} {International} {Conference} on {Expert} {Database} {Systems}},\n\tpublisher = {Benjamin Cummings},\n\tauthor = {Naqvi, S A},\n\tyear = {1987},\n\tpages = {227--236},\n}\n\n","author_short":["Naqvi, S A"],"key":"Naqvi:87","id":"Naqvi:87","bibbaseid":"naqvi-negativequeriesinhorndatabases-1987","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/ifromm","dataSources":["N4kJAiLiJ7kxfNsoh"],"keywords":[],"search_terms":["negative","queries","horn","databases","naqvi"],"title":"Negative Queries in Horn Databases","year":1987}