- 1 - cooperative information systems : a manifesto .
A truth maintenance system