Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning

Alexander Borgida, David W. Etherington. Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning. In KR. pages 33-43, 1989.