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]
@inproceedings{WuS93:0,
title = {Rule Validation Based on Logical Deduction},
author = {Ping Wu and Stanley Y. W. Su},
year = {1993},
tags = {rule-based, rules},
researchr = {https://researchr.org/publication/WuS93%3A0},
cites = {0},
citedby = {0},
pages = {164-173},
booktitle = {CIKM 93, Proceedings of the Second International Conference on Information and Knowledge Management, Washington, DC, USA, November 1-5, 1993},
editor = {Bharat K. Bhargava and Timothy W. Finin and Yelena Yesha},
publisher = {ACM},
isbn = {0-89791-626-3},
}