Fast dynamic transitive closure with lookahead

From MaRDI portal
Publication:848959