The expressive power of stratified logic programs with value invention
scientific article; zbMATH DE number 1267924
scientific article