Phrases that contain the word bisimulations: