SLT-resolution for the well-founded semantics
scientific article; zbMATH DE number 1744326
scientific article