Loop checking in SLD-derivations by well-quasi-ordering of goals
scientific article; zbMATH DE number 1493199
scientific article