"Features, Projections, and Representation Change for Generalized Planning."

Blai Bonet, Hector Geffner (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics