Definability of Horn revision from Horn contraction
- Zhiqiang Zhuang
- , Maurice Pagnucco
- , Yan Zhang
Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review
17
Citations
(Scopus)