Truth maintenance systems : a major-topic group-report from the 6th Alvey Planning SIG /
Drummond, Mark.
Steel, Sam.
Kelleher, Gerry.
University of Edinburgh.Artificial Intelligence Applications Institute.
Edinburgh : Artificial Intelligence Applications Institute, University of Edinburgh,
1987.