@inproceedings{Schild1991,
	Author = {Klaus Schild},
	Booktitle = {Proc. IJCAI'91},
	Editor = {John Mylopoulos and Raymond Reiter},
	Pages = {466--471},
	Publisher = {Morgan Kaufmann},
	Title = {A correspondence theory for terminological logics: {P}reliminary report},
	Year = {1991}}

{"_id":"sRp65tgSzK997bt7z","bibbaseid":"schild-acorrespondencetheoryforterminologicallogicspreliminaryreport-1991","authorIDs":[],"author_short":["Schild, K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Klaus"],"propositions":[],"lastnames":["Schild"],"suffixes":[]}],"booktitle":"Proc. IJCAI'91","editor":[{"firstnames":["John"],"propositions":[],"lastnames":["Mylopoulos"],"suffixes":[]},{"firstnames":["Raymond"],"propositions":[],"lastnames":["Reiter"],"suffixes":[]}],"pages":"466–471","publisher":"Morgan Kaufmann","title":"A correspondence theory for terminological logics: Preliminary report","year":"1991","bibtex":"@inproceedings{Schild1991,\n\tAuthor = {Klaus Schild},\n\tBooktitle = {Proc. IJCAI'91},\n\tEditor = {John Mylopoulos and Raymond Reiter},\n\tPages = {466--471},\n\tPublisher = {Morgan Kaufmann},\n\tTitle = {A correspondence theory for terminological logics: {P}reliminary report},\n\tYear = {1991}}\n\n","author_short":["Schild, K."],"editor_short":["Mylopoulos, J.","Reiter, R."],"key":"Schild1991","id":"Schild1991","bibbaseid":"schild-acorrespondencetheoryforterminologicallogicspreliminaryreport-1991","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"https://edgecloud.de/main.bib","creationDate":"2020-07-22T13:21:44.700Z","downloads":0,"keywords":[],"search_terms":["correspondence","theory","terminological","logics","preliminary","report","schild"],"title":"A correspondence theory for terminological logics: Preliminary report","year":1991,"dataSources":["TeJe2rTmEWBM8PPwx"]}