Manuel V. Hermenegildo
An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs
ICLP, 1986.
@inproceedings{ICLP-1986-Hermenegildo86,
author = "Manuel V. Hermenegildo",
booktitle = "{Proceedings of the Third International Conference on Logic Programming}",
doi = "10.1007/3-540-16492-8_62",
isbn = "3-540-16492-8",
pages = "25--39",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs}",
volume = 225,
year = 1986,
}











