USING DECLARATIVE KNOWLEDGE REPRESENTATION TECHNIQUES: IMPLEMENTING TRUTH MAINTENANCE IN OPS5.M.I. Schor1983First Conference on Artificial Intelligence Applications 1983