Chih-Hung Wu, Shie-Jue Lee. KJ3--a tool assisting formal validation of knowledge-based systems. International Journal of Man-Machine Studies, 56(5):495-524, 2002. [doi]
@article{WuL02:0,
title = {KJ3--a tool assisting formal validation of knowledge-based systems},
author = {Chih-Hung Wu and Shie-Jue Lee},
year = {2002},
doi = {10.1006/ijhc.2002.1007},
url = {http://dx.doi.org/10.1006/ijhc.2002.1007},
tags = {rule-based},
researchr = {https://researchr.org/publication/WuL02%3A0},
cites = {0},
citedby = {0},
journal = {International Journal of Man-Machine Studies},
volume = {56},
number = {5},
pages = {495-524},
}