The computational complexity of multiple-context truth maintenance systems (1990)

by G Provan
Venue:In Proceedings ECAI-90