KJ3-a tool for proving formal specifications of rule-based expert systems.

Thu, 01 Jan 1998 00:00:00 +0100

Chih-Hung Wu, Shie-Jue Lee:
KJ3-a tool for proving formal specifications of rule-based expert systems. ICTAI 1998: 310-317