Labeling problems in truth maintenance systems
Labeling problems in truth maintenance systems / Cees Witteveen, Luc Stakenborg