@InCollection{zbMATH06863507,
Author = {Amina {Doumane} and David {Baelde} and Lucca {Hirschi} and Alexis {Saurin}},
Title = {{Towards completeness via proof search in the linear time \(\mu\)-calculus: the case of B\"uchi inclusions}},
BookTitle = {Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016},
ISBN = {978-1-4503-4391-6},
Pages = {377--386},
Year = {2016},
Publisher = {New York, NY: Association for Computing Machinery (ACM)},
Language = {English},
DOI = {10.1145/2933575.2933598},
MSC2010 = {68Q60 03B45 03B70 03D05 03F07},
Zbl = {1401.68193}
}