Resolution-based theorem proving for many-valued logics
scientific article; zbMATH DE number 792837