Hermenegildo, M. V., An Abstract Machine for Restricted AND-parallel Execution of Logic Programs, in Third International Conference on Logic Programming, Springer-Verlag, Berlin, 1986.
author author author title title title title title title title title title title booktitle booktitle booktitle booktitle booktitle booktitle booktitle publisher location date