Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. - M. Olmedilla; Francisco Bueno; Manuel V. Hermenegildo (LOPSTR, 1993)