State of the art in automated validation of knowledge-based systems☆
1994 ◽
Vol 7
(2)
◽
pp. 151-167
◽
1997 ◽
Vol 211
(5)
◽
pp. 399-409
◽
Keyword(s):
1989 ◽
pp. 131-148
◽
Keyword(s):
Keyword(s):