A KobrA and OCL model for backward state-space search planning and partial order-planning with STRIPS Ana Emília ([email protected]) Jairson Vitorino ([email protected])
