A token-flow paradigm for verification of rule-based expert systems
2000 ◽
Vol 30
(4)
◽
pp. 616-624
◽
1997 ◽
Vol 39
(9)
◽
pp. 607-616
◽
1995 ◽
Vol 9
(1)
◽
pp. 3-14
◽
Keyword(s):
2001 ◽
Vol 63
(1-2)
◽
pp. 61-75
◽