The expressive powers of the logic programming semantics
scientific article; zbMATH DE number 809409