Disjunctive logic programs with existential quantification in rule heads
- Jia-Huai You
- , Heng Zhang
- , Yan Zhang
Research output: Contribution to journal › Article › peer-review
2
Citations
(Scopus)