Miguel Areias, Ricardo Rocha. An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives. In Manuel Carro, Ricardo Peña, editors, Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings. Volume 5937 of Lecture Notes in Computer Science, pages 279-293, Springer, 2010. [doi]
Abstract is missing.