Ameliorating the Pregnant Man Problem: A Verification Tool for Personal Computer Based Expert Systems. - John M. Herod; A. Terry Bahill (Int. J. Man Mach. Stud., 1991)