Dynamic reordering of alternatives for definite logic programs
scientific article; zbMATH DE number 6869002
scientific article