Export: A Tabling Implementation Based on Variables with Multiple Bindings
Chico de Guzmán, Pablo and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2009). A Tabling Implementation Based on Variables with Multiple Bindings. In: "25th International Conference on Logic Programming, ICLP '09", 14/07/2009 - 17/07/2009, Pasadena, California, EEUU. ISBN 978-3-642-02845-8.
Please select an output format:
