Rainer Knauf Setsuo Tsuruta Avelino J. Gonzalez Toward Reducing Human Involvement in Validation of Knowledge-Based Systems. 120-131 2007 37 IEEE Transactions on Systems, Man, and Cybernetics, Part A 1 http://doi.ieeecomputersociety.org/10.1109/TSMCA.2006.886365 db/journals/tsmc/tsmca37.html#KnaufTG07