Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
On a Tabling Engine That Can Exploit Or-Parallelism
ICLP, 2001.
@inproceedings{ICLP-2001-RochaSC,
author = "Ricardo Rocha and Fernando M. A. Silva and Vítor Santos Costa",
booktitle = "{Proceedings of the 17th International Conference on Logic Programming}",
doi = "10.1007/3-540-45635-X_11",
isbn = "3-540-42935-2",
pages = "43--58",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{On a Tabling Engine That Can Exploit Or-Parallelism}",
volume = 2237,
year = 2001,
}
Tags: