@workingPaper{Horstmann_1991, title={Distributed truth maintenance}, author={Horstmann, Thilo C.}, doi={http://dx.doi.org/10.22028/D291-25230}, year={1991} }