Compuatational Complexity of Terminological Reasoning in \BACK\. Nebel, B 1987. Series Number: 43
bibtex   
@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},
}

Downloads: 0