Export: An abstract machine for restricted and-parallel execution of logic programs
Hermenegildo, Manuel V. (1986). An abstract machine for restricted and-parallel execution of logic programs. In: "Third international conference on logic programming", July 14-18, 1986, Imperial College of Science and Technology, London, United Kingdom. ISBN 9783540164920.
Please select an output format: