Homomorphisms and Embeddings of STRIPS Planning Models