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