Author:
Publication: Artificial Intelligence
A truth maintenance system
5th International conference on pattern recognition: Miami Beach, Florida, December 1–4, 1980 (Co-Sp