PT Unknown AU Cesta, A Finzi, A Fratini, S Orlandini, A Tronci, E TI Flexible Plan Verification: Feasibility Results SE 16th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" (RCRA). Proceedings PY 2009 ER