Zhiqiang Zhuang, Zhe Wang, Kewen Wang and Guilin Qi (2016) DL-Lite Contraction and Revision

Open in new window