Ping Wu, Stanley Y. W. Su. Rule Validation Based on Logical Deduction. In Bharat K. Bhargava, Timothy W. Finin, Yelena Yesha, editors, CIKM 93, Proceedings of the Second International Conference on Information and Knowledge Management, Washington, DC, USA, November 1-5, 1993. pages 164-173, ACM, 1993. [doi]
Abstract is missing.