Hierarchical knowledge bases and tractable disjunction (1989)

by A Borgida, D Etherington
Venue:In Proceedings, First International Conference on Principles of Knowledge Representation and Reasoning