On applying or-parallelism and tabling to logic programs. Theory and Practice of Logic Programming (TPLP (2005)

by R Rocha, F M A Silva, V S Costa