Expressive power of digraph solvability

Marc Bezem, Clemens Grabmayer, Michal Walicki. Expressive power of digraph solvability. Annals of Pure and Applied Logic, 163(3):200-213, 2012. [doi]