Reason maintenance systems and their applications
Smith, Barbara,1948-
Kelleher, Gerald.
Ellis Horwood
1988
Artificial intelligence.