Signed dual tableaux for Kleene answer set programs
scientific article; zbMATH DE number 7908128
scientific article