An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives

Preview

Download Presentation

PDF file