Towards Completeness via Proof Search in the Linear Time μ-calculus: The case of Bchi inclusions.

Amina Doumane, David Baelde, Lucca Hirschi, Alexis Saurin

Browse the full LICS paper archive.