@misc{Nebel:87,
	title = {Compuatational {Complexity} of {Terminological} {Reasoning} in \{{BACK}\}},
	publisher = {TU Berlin, Fachbereich Informatik, Projektgruppe KIT},
	author = {Nebel, B},
	year = {1987},
	note = {Series Number: 43},
}

{"_id":"Ju8B7o8cqRrCWu8ro","bibbaseid":"nebel-compuatationalcomplexityofterminologicalreasoninginback-1987","author_short":["Nebel, B"],"bibdata":{"bibtype":"misc","type":"misc","title":"Compuatational Complexity of Terminological Reasoning in \\BACK\\","publisher":"TU Berlin, Fachbereich Informatik, Projektgruppe KIT","author":[{"propositions":[],"lastnames":["Nebel"],"firstnames":["B"],"suffixes":[]}],"year":"1987","note":"Series Number: 43","bibtex":"@misc{Nebel:87,\n\ttitle = {Compuatational {Complexity} of {Terminological} {Reasoning} in \\{{BACK}\\}},\n\tpublisher = {TU Berlin, Fachbereich Informatik, Projektgruppe KIT},\n\tauthor = {Nebel, B},\n\tyear = {1987},\n\tnote = {Series Number: 43},\n}\n\n","author_short":["Nebel, B"],"key":"Nebel:87","id":"Nebel:87","bibbaseid":"nebel-compuatationalcomplexityofterminologicalreasoninginback-1987","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"misc","biburl":"https://bibbase.org/zotero/ifromm","dataSources":["N4kJAiLiJ7kxfNsoh"],"keywords":[],"search_terms":["compuatational","complexity","terminological","reasoning","back","nebel"],"title":"Compuatational Complexity of Terminological Reasoning in \\BACK\\","year":1987}