Efficiently Deciding μ-Calculus with Converse over Finite Trees

From MaRDI portal
Publication:2957698