Partial semantics for truth maintenance – a compositional approach. (English) Zbl 0789.68133
Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 544-561 (1991).