A logic for reasoning with inconsistency (1992)

by M Kifer, E L Lozinskii
Venue:32 [KLM90] [KM02] [Leh01] [Leh02] [LM92