World-set decompositions: Expressiveness and efficient algorithms

From MaRDI portal
Publication:944380