paper title authors Year publisher
Performing a lifted Reachability Analysis as a first step towards lifted Partial Ordered Planning Bram Ridder and Maria Fox 2011 PlanSIG 2011