In general, our program rules may include negations and disjunctions, and hence the results in this paper extend to disjunctive logic programming as well.
確定! 回上一頁