Logic-based Inference Detection in Querying XML Document.

Dazhou Kang Peng Wang Jianjiang Lu Jixiang Jiang Baowen Xu Logic-based Inference Detection in Querying XML Document. 105-112 2005 conf/ike/2005 IKE db/conf/ike/ike2005.html#KangWLJX05