Improving the efficiency of nondeterministic independent and-parallel systems | Publicación