de Rijke, M.: Interpolation and bisimulation in temporal logic (1998)

by C Areces
Venue:Proceedings of WoLLIC 1998