Acknowledgments

This paper is an extended and revised version of a paper by the same authors appeared in the proceedings of the fifth international conference on the principles of knowledge representation and reasoning (KR'96) [5]. Partial supported has been given by ASI (Italian Space Agency) and CNR (National Research Council of Italy).