The complexity of predicate default logic over a countable domain
scientific article; zbMATH DE number 1882254