"A Sketch of a Complete Scheme for Tabled Execution Based on Program ..."

Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics