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

Chih-Hung Wu, Shie-Jue Lee

Browse the full ICTAI paper archive.