Cabeza Gras, Daniel and Hermenegildo, Manuel V.
(1994).
Extracting non-strict independent and-parallelism using sharing and freeness information.
In: "1994 International Static Analysis Symposium", September 28-30, 1994, Namur (Belgium). ISBN 3540584854.