Flexible Plan Verification: Feasibility Results

Cesta, A., Finzi, A., Fratini, S., Orlandini, A., Tronci, E

In Fundamenta Informaticae, 107(2-3): 111-137, 2011