Omer Reingold, « Undirected connectivity in log-space », Journal of the ACM, vol. 55, no 4, , p. 1–24 (lire en ligne)
ntnu.no
idi.ntnu.no
P. Küngas « Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies » (July 26–29, 2005) (lire en ligne) —Proceedings of the 6th International Symposium on Abstraction, Reformulation and Approximation—SARA 2005
psu.edu
citeseer.ist.psu.edu
R. Lipton, « The Reachability Problem Requires Exponential Space », Technical Report 62, (lire en ligne)