KJ3--a tool assisting formal validation of knowledge-based systems.

Tue, 01 Jan 2002 00:00:00 +0100

Chih-Hung Wu, Shie-Jue Lee:
KJ3--a tool assisting formal validation of knowledge-based systems. Int. J. Hum. Comput. Stud. 56(5): 495-524 (2002)