Luis Torres, Claudia S. Frydman. Verifying and Validating Specification of Knowledge-Based Systems. In ECAI. pages 83-87, 1998.
@inproceedings{TorresF98, title = {Verifying and Validating Specification of Knowledge-Based Systems}, author = {Luis Torres and Claudia S. Frydman}, year = {1998}, tags = {rule-based}, researchr = {https://researchr.org/publication/TorresF98}, cites = {0}, citedby = {0}, pages = {83-87}, booktitle = {ECAI}, }