Depth-first search satisfiability of the μ-calculus with converse over trees | IEEE Conference Publication | IEEE Xplore