"A General Implementation Framework for Tabled CLP."

Pablo Chico de Guzmán et al. (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics