Export: Complete and efficient methods for supporting side effects in independent/restricted and-parallelism
Muthukumar, Kalyan and Hermenegildo, Manuel V. 
ORCID: https://orcid.org/0000-0002-7583-323X
(1989).
Complete and efficient methods for supporting side effects in independent/restricted and-parallelism.
In: "ICLP 1989 International Conference on Logic Programming", June 19-23, 1989, Lisbon, Portugal. ISBN 0262620650.
Please select an output format:
