Algorithms for generating ordered solutions for explicit AND/OR structures
scientific article; zbMATH DE number 6072722