Abstract: We give a direct translation of the branching-time temporal logic CTL* into the modal mu-calculus.
LFCS report ECS-LFCS-90-123