First-order indefinability of answer set programs on finite structures
- Yin Chen
- , Yan Zhang
- , Yi Zhou
Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review
3
Citations
(Scopus)