A Formalised Lower Bound on Undirected Graph Reachability.

Ulrich Schpp

Browse the full LPAR paper archive.