Multiagent truth maintenance (1991)

by M N Huhns, D M Bridgeland
Venue:IEEE Trans. Systems Man Cybernet