1. The intractability of resolution;Haken,1984
2. Tractability of subsumption in frame-based description languages;Brachman,1984
3. The interaction with incomplete knowledge bases: A formal treatment;Levesque,1981
4. A formal treatment of incomplete knowledge bases;Levesque,1982
5. Competence in knowledge representation;Brachman,1982