David S. Warren;Rui Hu
-;-
On applying or-parallelism and tabling to logic programs
Theory and Practice of Logic Programming