@inproceedings{lif2,
	Address = {Los Angeles},
	Author = {Vladimir Lifschitz},
	Booktitle = {Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85)},
	Pages = {121--127},
	Title = {Computing Circumscription},
	Year = {1985}}

{"_id":{"_str":"534279620e946d920a00154d"},"__v":1,"authorIDs":[],"author_short":["Lifschitz, V."],"bibbaseid":"lifschitz-computingcircumscription-1985","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Los Angeles","author":[{"firstnames":["Vladimir"],"propositions":[],"lastnames":["Lifschitz"],"suffixes":[]}],"booktitle":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85)","pages":"121–127","title":"Computing Circumscription","year":"1985","bibtex":"@inproceedings{lif2,\n\tAddress = {Los Angeles},\n\tAuthor = {Vladimir Lifschitz},\n\tBooktitle = {Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85)},\n\tPages = {121--127},\n\tTitle = {Computing Circumscription},\n\tYear = {1985}}\n\n","author_short":["Lifschitz, V."],"key":"lif2","id":"lif2","bibbaseid":"lifschitz-computingcircumscription-1985","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/cogs/bib/standard-long.bib","downloads":0,"keywords":[],"search_terms":["computing","circumscription","lifschitz"],"title":"Computing Circumscription","year":1985,"dataSources":["2cjnbEWxd35GBeqEe"]}