An External Module for Implementing Linear Tabling in Prolog. - Cláudio Silva 001; Ricardo Rocha 001; Ricardo Lopes (ICLP, 2006)

On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog. - Ricardo Rocha 001; Cláudio Silva 001; Ricardo Lopes (ICLP, 2007)

An Improved Continuation Call-Based Implementation of Tabling. - Pablo Chico de Guzmán; Manuel Carro; Manuel V. Hermenegildo; Cláudio Silva 001; Ricardo Rocha 001 (PADL, 2008)