A progression semantics for first-order logic programs
scientific article; zbMATH DE number 6807698
scientific article