KJ3-a tool for proving formal specifications of rule-based expert systems | IEEE Conference Publication | IEEE Xplore