Sturm, Holger. 2004. “The True Bisimulations for ’since’ and ’until’”. Logic and Logical Philosophy 10 (10):173–183. https://doi.org/10.12775/LLP.2002.010.