How to create hypotesis automatically
Võhandu, Leo
Abstracts of ECAI'90 Workshop on Verification and Test of Knowledge-Based Systems, Stockholm, August 7, 1990
1990