Completeness Results for Two-sorted Metric Temporal Logics

MONTANARI, Angelo

DE RIJKE M.