David H. D. Warren
Or-Parallel Execution Models of Prolog
TAPSOFT, 1987.
@inproceedings{AF-1987-Warren,
author = "David H. D. Warren",
booktitle = "{Proceedings of the Second International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development}",
doi = "10.1007/BFb0014984",
isbn = "3-540-17611-X",
pages = "243--259",
publisher = "{Springer}",
title = "{Or-Parallel Execution Models of Prolog}",
year = 1987,
}











