TY - JOUR AU - Miguel Areias AU - Ricardo Rocha TI - Batched Evaluation of Linear Tabled Logic Programs JO - Computer Science and Information Systems PY - 2013 VL - 10 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/CSIS_2013_10_4_a13/ ID - CSIS_2013_10_4_a13 ER -