Design and Implementation of Multiple-Context Truth Maintenance System with Binary Decision Diagram.