Reachability in reversible free-choice systems - Desel, Jörg 1959-; Esparza, Javier 1964- (1990)