Safe computation of the well-founded semantics of datalog queries
scientific article; zbMATH DE number 92233