Miguel Areias, Ricardo Rocha
On combining linear-based strategies for tabled evaluation of logic programs
ICLP, 2011.
@article{ICLP-J-2011-AreiasR,
author = "Miguel Areias and Ricardo Rocha",
doi = "10.1017/S147106841100024X",
journal = "{Theory and Practice of Logic Programming}",
number = "4-5",
pages = "681--696",
title = "{On combining linear-based strategies for tabled evaluation of logic programs}",
volume = 11,
year = 2011,
}