Jianfeng Du, Deqian Liu, Can Lin, Xuzhi Zhou, Jiaqi Liang. A System for Tractable Computation of Negative Answers to Conjunctive Queries. In Dongyan Zhao, Jianfeng Du, Haofen Wang, Peng Wang, Donghong Ji, Jeff Z. Pan, editors, The Semantic Web and Web Science - 8th Chinese Conference, CSWS 2014, Wuhan, China, August 8-12, 2014, Revised Selected Papers. Volume 480 of Communications in Computer and Information Science, pages 56-66, Springer, 2014. [doi]
Abstract is missing.