On the Inadequacy of the Relational Semantic for the "Until" Operator. - Fabio Bellissima; Alessandra Ciupi (Math. Log. Q., 1992)