On the quantifier-free dynamic complexity of reachability
scientific article