On the Quantifier-Free Dynamic Complexity of Reachability
scientific article