Artificial Intelligence: From programs to solvers
A new representation and associated algorithms for generalized planning