Constructive completeness for the linear-time μ-calculus | IEEE Conference Publication | IEEE Xplore