A clausal resolution method for branching-time logic ECTL | IEEE Conference Publication | IEEE Xplore