Yahui Song, Darius Foo, Wei-Ngan Chin: Automated Temporal Verification for Algebraic Effects. APLAS 2022: 88-109