The Kowledge-Based Simulation System. - Y. V. Ramana Reddy; Mark S. Fox; Nizwer Husain; Malcolm McRoberts (IEEE Softw., 1986)

Validating knowledge systems: a scheduling example. - John C. Kunz; Nizwer Husain (ICRA, 1991)