Near-Horn Prolog and the ancestry family of procedures
positive refinement of model elimination
scientific article; zbMATH DE number 937231
scientific article