若干限制形式的缺省推理的复杂性

该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性.其中，D是一集Horn缺省规则，而W是definite Horn公式或者Bi-Horn公式