Efficient reasoning with inconsistent information using C-systems
scientific article; zbMATH DE number 6715868
scientific article