A methodology to incorporateformal methods in hybrid KBS verification. - Rose F. Gamble; D. M. Baughman (Int. J. Hum. Comput. Stud., 1996)