An efficient method for eliminating varying predicates from a circumscription
scientific article; zbMATH DE number 64742