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

Miguel Areias, Ricardo Rocha

Browse the full PADL paper archive.