Anfonwch hwn fel neges destun: Extended Comptation Tree Logic (Extended Abstract)