This work was partially supported by MURST 60% and by National Research Council (CNR), project ``Pianificazione Automatica''.