A Tabling Implementation Based on Variables with Multiple Bindings - CARRO LIÑARES, MANUEL; HERMENEGILDO SALINAS, MANUEL DE (Lecture Notes In Computer Science, 2009)