arXiv 2003-08-04 EN On Applying Or-Parallelism and Tabling to Logic Programs Rocha, Ricardo · Silva, Fernando · Costa, Vitor Santos
