Desh Ranjan Enrico Pontelli Gopal Gupta Data structures for order-sensitive predicates in parallel nondeterministic systems. 21-43 2000 37 Acta Inf. 1 http://link.springer.de/link/service/journals/00236/bibs/0037001/00370021.htm db/journals/acta/acta37.html#RanjanPG00