Thilo C. Horstmann: A Logical Approach for Distributed Truth Maintenance. EPIA 1993: 29-44