Towards Completeness via Proof Search in the Linear Time μ-calculus Conference proceeding (July 2016)