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, }