Bryan S. Todd, Richard Stamper. Formal Specification of a Rule-Based Expert System. In SEKE 92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy. pages 333-340, Knowledge Systems Institute, 1992. [doi]
No references recorded for this publication.
No citations of this publication recorded.