Design and Implementation of Multiple-Context Truth Maintenance System with Binary Decision Diagram. - Hiroshi G. Okuno; Osamu Shimokuni; Hidehiko Tanaka (IEA/AIE, 1996)